Zurück
Vor

Symbolic Logic and Mechanical Theorem Proving
Kurzinformation
Sprache:
Englisch
ISBN:
9780121703509
Verlag:
Seitenzahl:
331 Seiten
Auflage:
Illustrated
Erschienen:
1973



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.
Über den Autor
Gut
6,41 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-90%
frontend/listing/product-box/box-product-slider.tpl
-85%
- Hardcover
- 228 Seiten
- Erschienen 1989
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Pohlers, Wolfram
12,35 €
80,24 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-83%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-83%
- Hardcover
- 300 Seiten
- Erschienen 1971
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Scarpellini, Bruno
7,19 €
42,75 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-47%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-80%
- paperback
- 268 Seiten
- Erschienen 2014
- Routledge
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Detlefsen, Michael
14,32 €
70,19 €
frontend/listing/product-box/box-product-slider.tpl
-39%
frontend/listing/product-box/box-product-slider.tpl
-32%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-97%
- Hardcover
- 176 Seiten
- Erschienen 1980
- De Gruyter Mouton
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Clifford, John E.
3,14 €
109,95 €
frontend/listing/product-box/box-product-slider.tpl
-64%
frontend/listing/product-box/box-product-slider.tpl
-50%
- Kartoniert
- 239 Seiten
- Erschienen 2006
- Brill | mentis
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Barwise, John und Etchemend...
28,08 €
56,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-96%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-36%
- Gebunden
- 326 Seiten
- Erschienen 2018
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Aigner, Martin und Ziegler,...
37,91 €
58,84 €
frontend/listing/product-box/box-product-slider.tpl
-83%
- Hardcover
- 504 Seiten
- Erschienen 1973
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Troelstra, Anne S.
11,69 €
69,54 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-58%
frontend/listing/product-box/box-product-slider.tpl
-85%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-19%
frontend/listing/product-box/box-product-slider.tpl
-36%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-89%
- Hardcover
- 328 Seiten
- Erschienen 2003
- Cambridge University Press
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Devlin, Keith J.;Keith, Dev...
5,07 €
45,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-78%
frontend/listing/product-box/box-product-slider.tpl
-48%
- hardcover
- 464 Seiten
- Erschienen 2013
- Oxford University Press
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Williamson, Timothy
23,34 €
44,50 €
frontend/listing/product-box/box-product-slider.tpl