Warenkorb
Übersetzung
Anmelden/Login
logo
mediatypes Bücher

proving – Buch gebraucht, antiquarisch & neu kaufen

Zu proving passende Sparten



Tagen
 
ISBN 9783540745907: Theorem Proving in Higher Order Logics
Sortierung: Autor | Titel | Jahr | Eingangsdatum | Preis | Preis + Versand | Relevanz
11065 Treffer in Bücher
Gebrauchtware  gebraucht Neuware  Neuware
Artikel pro Seite:
Seiten:

neues Buch Theorem Proving with the Real Numbers

John Harrison: Theorem Proving with the

John Harrison


Springer London

, 2011, Kartoniert / Broschiert
ISBN: 9781447115939
Neuware
91,95 €
versandkostenfrei
auf Ihrem
wird gespeichert …

gebrauchtes Buch The Homeopathic Proving of Hydrogen

by Dynamis School: The Homeopathic Provi

by Dynamis School


Übergröße
Zustand: leichte Gebrauchsspuren
34,20 €
versandkostenfrei
Preisvorschlag möglich mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Automated Theorem Proving

Monty Newborn: Automated Theorem Proving

Monty Newborn


Springer New York

, 2000, Gebunden
ISBN: 0387950753
Neuware
136,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Interactive Theorem Proving and Program Development

Yves Bertot Pierre Castéran: Interactive

Yves Bertot Pierre Castéran


Springer Berlin Heidelberg

, 2004, Gebunden
ISBN: 3540208542
Neuware
106,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch The Efficiency of Theorem Proving Strategies

David A. Plaisted: The Efficiency of The

David A. Plaisted


De Gruyter Saur

, 28.10.1999, Taschenbuch
ISBN: 3528155744
Neuware
54,39 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Using Sophisticated Models in Resolution Theorem Proving

David M. Sandford: Using Sophisticated M

David M. Sandford


Springer Berlin Heidelberg, Springer

, 01.08.1980, Taschenbuch
ISBN: 3540102310
Neuware
53,49 €
versandkostenfrei
auf Ihrem
wird gespeichert …

gebrauchtes Buch The Homoeopathic Proving of Chocolate.

Jeremy Sherr: The Homoeopathic Proving o

Jeremy Sherr


Dynamis School.

, 1990.
Zustand: gebraucht; gut
15,00 €
Versandkosten nach Deutschland 3,99 €
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

gebrauchtes Buch Automated theorem proving | Wolfgang Bibel |

Wolfgang Bibel: Automated theorem provin

Wolfgang Bibel


Braunschweig ; Wiesbaden : Vieweg

, 1982.
ISBN: 3528085207
Zustand: gebraucht; gut
49,99 €
versandkostenfrei
Preisvorschlag möglich
auf Ihrem
wird gespeichert …

neues Buch Theorem Proving in Higher Order Logics

Basin, David Wolff, Burkhart: Theorem Pr

Basin, David Wolff, Burkhart


Springer Berlin Heidelberg

, 2003, Kartoniert / Broschiert
ISBN: 3540406646
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Theorem Proving in Higher Order Logics

Klaus Schneider: Theorem Proving in High

Klaus Schneider


Springer, Berlin

, Taschenbuch
ISBN: 9783540745907
Neuware
53,49 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Theorem Proving in Higher Order Logics

Hurd, Joe Melham, Tom: Theorem Proving i

Hurd, Joe Melham, Tom


Springer Berlin Heidelberg

, 2005, Kartoniert / Broschiert
ISBN: 3540283722
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Automated Theorem Proving

Wolfgang Bibel: Automated Theorem Provin

Wolfgang Bibel


Vieweg+Teubner Verlag

, 1987, Kartoniert / Broschiert
ISBN: 3528185201
Neuware
91,95 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Automated Deduction in Geometry

Jürgen Richter-Gebert: Automated Deducti

Jürgen Richter-Gebert


Springer

, 12.09.2001, Taschenbuch
ISBN: 3540425985
Neuware
55,73 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

gebrauchtes Buch The Homoeopathic Proving of Scorpion

Jeremy Sherr: The Homoeopathic Proving o

Jeremy Sherr


Heft/Zeitschrift
Zustand: deutliche Gebrauchsspuren
3,90 €
Versandkosten nach Deutschland 2,00 €
Preisvorschlag möglich
auf Ihrem
wird gespeichert …

neues Buch Symbolic Logic and Mechanical Theorem Proving

Chin-Liang Chang: Symbolic Logic and Mec

Chin-Liang Chang


Elsevier Science & Technology, Academic Press

, Buch
ISBN: 0121703509
Neuware
57,95 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Symbolic Logic and Mechanical Theorem Proving

Chin-Liang Chang: Symbolic Logic and Mec

Chin-Liang Chang


Elsevier Inc

, Buch
ISBN: 0121703509
Neuware
61,33 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

gebrauchtes Buch The Homoeopathic Proving of CHOCOLATE

Jeremy Sherr: The Homoeopathic Proving o

Jeremy Sherr


Dynamic School for Advanced Homoeopathic Studies

, Paperback
Zustand: wie neu
10,00 €
Versandkosten nach Deutschland 3,00 €
auf Ihrem
wird gespeichert …

neues Buch Advances in Mathematics Education Research on Proof and Proving

Guershon Harel: Advances in Mathematics

Guershon Harel


Springer

, 04.06.2019, Taschenbuch
ISBN: 9783319890258
Neuware
168,77 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Theorem Proving in Higher Order Logics

César Munoz: Theorem Proving in Higher O

César Munoz


Springer

, 30.07.2008, Taschenbuch
ISBN: 9783540710653
Neuware
55,73 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Theorem Proving in Higher Order Logics

Klaus Schneider: Theorem Proving in High

Klaus Schneider


Springer, Berlin, Springer

, Taschenbuch
ISBN: 9783540745907
Neuware
54,49 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …
Seiten: