Chin-Liang Chang – författare

Visar alla böcker från författaren Chin-Liang Chang. Handla med fri frakt och snabb leverans.

4 produkter

Kategorier

4 produkter

Symbolic Logic and Mechanical Theorem Proving
AvRichard Char-Tung Lee,Chin-Liang Chang
E-bok
PDF, Engelska, 2014
781 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.
Symbolic Logic and Mechanical Theorem Proving
AvChin-Liang Chang,Richard Char-Tung Lee
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.
Symbolic Logic and Mechanical Theorem Proving
AvChin-Liang Chang,Richard Char Lee
Häftad, Engelska, 1973
554 kr
Skickas inom 10-15 vardagar
Del 15 - Advances In Fuzzy Systems-applications And Theory
Fuzzy-logic-based Programming
AvChin-liang Chang
Inbunden, Engelska, 1997
1 138 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.

Företag, bibliotek eller offentlig verksamhet?

Chin-Liang Chang – författare

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Fuzzy-logic-based Programming

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration