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

1. 

   Symbolic Logic and Mechanical Theorem Proving

   Av Richard Char-Tung Lee, Chin-Liang Chang

   E-bok, 2014

   807 kr

   Lägg i varukorg

   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 …

2. 

   Symbolic Logic and Mechanical Theorem Proving

   Av Chin-Liang Chang, Richard Char-Tung Lee

   Inbunden, 1973

   687 kr

   Lägg i varukorg

   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 …

3. 

   Symbolic Logic and Mechanical Theorem Proving

   Av Chin-Liang Chang, Richard Char Lee

   Häftad, 1973

   572 kr

   Lägg i varukorg

4. 

   FUZZY-LOGIC-BASED PROGRAMMING

   Av Chin-Liang Chang

   Inbunden, 1997

   1175 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 …