Chin-Liang Chang – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
E-bok
PDF, Engelska, 2014783 kr
Läs direkt efter köp
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
Inbunden, Engelska, 1973
667 kr
Skickas inom 10-15 vardagar
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
Häftad, Engelska, 1973
555 kr
Skickas inom 10-15 vardagar
Del 15 - Advances In Fuzzy Systems-applications And Theory
Fuzzy-logic-based Programming
Inbunden, Engelska, 1997
1 141 kr
Tillfälligt slut
The number of fuzzy logic applications is very large. This book tells the reader how to use fuzzy logic to find solutions in areas such as control systems, factory automation, product quality control, product inspection, instrumentation, pattern recognition, image analysis, database query processing, decision support, data mining, time series (waveform) databases, geographic information systems, and image databases. Those who have applications in these areas will find the book invaluable.The author was the first student to write a PhD fuzzy logic thesis under Professor Lotfi A Zadeh (the inventor of fuzzy logic), in 1967 at the University of California, Berkeley. In 1993, he designed and introduced the NICEL language for writing fuzzy programs that enclose if-then rules. NICEL is powerful and easy to use. The reader will find in the book that many algorithms for real world applications can be conveniently represented in NICEL.