Richard Char-Tung Lee – författare

Visar alla böcker från författaren Richard Char-Tung Lee. Handla med fri frakt och snabb leverans.

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