Zurück
Vor
![Symbolic Logic and Mechanical Theorem Proving](https://d3k2uuz9r025mk.cloudfront.net/media/image/5b/54/a5/1679320488_247882241679_600x600.jpg)
Symbolic Logic and Mechanical Theorem Proving
Kurzinformation
Sprache:
Englisch
ISBN:
9780121703509
Verlag:
Seitenzahl:
331 Seiten
Auflage:
Illustrated
Erschienen:
1973
![Natural](https://shop.studibuch.de/media/image/c4/23/50/Buch-Vorteil.png)
![Coins](https://shop.studibuch.de/media/image/74/b1/94/Lieferung-Vorteil.png)
![Check](https://shop.studibuch.de/media/image/a1/0b/2c/Muenzen-Vorteil.png)
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten
![Zahlungsarten](/media/image/d6/9c/c0/Payments.png)
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
![](https://d3k2uuz9r025mk.cloudfront.net/media/image/b1/82/59/handgeprueftSiegel.png)
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
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-84%
- Hardcover
- 456 Seiten
- Erschienen 2013
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Straßer, Christian
17,47 €
106,99 €
frontend/listing/product-box/box-product-slider.tpl
-67%
- perfect
- 382 Seiten
- Erschienen 1976
- Meiner, F
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Günther, Gotthard
32,20 €
98,00 €
frontend/listing/product-box/box-product-slider.tpl
-90%
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
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
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
frontend/listing/product-box/box-product-slider.tpl
- Hardcover
- 432 Seiten
- Erschienen 2002
- Cambridge University Press
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Troelstra, Anne S.;Troelstr...
25,32 €
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
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
- Hardcover
- 328 Seiten
- Erschienen 2003
- Cambridge University Press
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Devlin, Keith J.;Keith, Dev...
11,32 €
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
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
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl