Symbolic Logic and Mechanical Theorem Proving

Name: Symbolic Logic and Mechanical Theorem Proving
Author: Chang, Chin-Liang;Lee, Richard Char-Tung;

Chang, Chin-Liang;Lee, Richard Char-Tung;

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

21,36 €

Lieferzeit 1-3 Werktage

Kurzinformation

Sprache:

Englisch

ISBN:

9780121703509

Verlag:

Seitenzahl:

331 Seiten

Auflage:

Erschienen:

Mit diesem Kauf sparst Du 2,06 kg CO₂

Mehr Informationen zum Zustand

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Gut 21,36 €

Sauberer Zustand, Seiten und Bindung etwas abgenutzt
Knicke oder Markierungen nicht mehr als 5%
CDs und Zugangscodes verwendbar

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Neu bei

bestellen E-Book bei

bestellen

Premiumqualität

Faire Preise

Schnelle & einfache Abwicklung

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

21,36 €

Lieferzeit 1-3 Werktage

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;