Symbolic Logic and Mechanical Theorem Proving
Kurzinformation
Sprache:
Englisch
ISBN:
9780121703509
Verlag:
Seitenzahl:
331 Seiten
Auflage:
Illustrated
Erschienen:
1973
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten
Beschreibung
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 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. von Chang, Chin-Liang;Lee, Richard Char-Tung;
Produktdetails
Einband:
Hardcover
Seitenzahl:
331 Seiten
Erschienen:
1973
Sprache:
Englisch
EAN:
9780121703509
ISBN:
9780121703509
Verlag:
Gewicht:
694 g
Auflage:
Illustrated
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Gut
6,41 €
Entdecke mehr zum Thema
