1 résultat(s)
Télécharger le livre : Symbolic Logic and Mechanical Theorem Proving
Chin-Liang Chang , Richard Char-Tung Lee
Symbolic Logic and Mechanical Theorem Proving
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...
Editeur : Academic Press
Parution : 2014-06-28

Format(s) : PDF sans DRM
57,97 €
Téléchargement immédiat
Dès validation de votre commande