logo
mediatypes Bücher

ProofTheory – Buch gebraucht, antiquarisch & neu kaufen

Zu ProofTheory passende Sparten



Tagen
 
336 Treffer in Bücher
Gebrauchtware  gebraucht Neuware  Neuware

neues Buch Logic-Based Program Synthesis and Transformation

Danny de Schreye


Springer Berlin Heidelberg

, 20.04.2010, Taschenbuch
ISBN: 9783642125911
Neuware
53,49 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Frontiers of Combining Systems

Clare Dixon


Palgrave Macmillan

, 29.08.2017, Taschenbuch
ISBN: 9783319661667
Neuware
70,93 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Automated Reasoning

Alexander Leitsch


Springer

, 06.06.2001, Taschenbuch
ISBN: 3540422544
Neuware
106,98 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Well-Quasi Orders in Computation, Logic, Language and Reasoning

Peter M. Schuster


Springer

, 26.08.2021, Taschenbuch
ISBN: 9783030302313
Neuware
189,37 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Logical Methods

Roger Antonsen


Springer International Publishing

, 2021, Kartoniert / Broschiert
ISBN: 9783030637767
Neuware
50,95 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Logic of Computation

Helmut Schwichtenberg


Springer, Springer

, 13.10.2012, Taschenbuch
ISBN: 9783642638329
Neuware
53,49 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Automated Deduction - CADE-16

Harald Ganzinger


Springer Berlin Heidelberg

, 1999, Kartoniert / Broschiert
ISBN: 3540662227
Neuware
63,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Logic, Language, Information, and Computation

Ruy J. G. B. De Queiroz


Springer

, 30.06.2017, Taschenbuch
ISBN: 9783662553855
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Proof in VDM: Case Studies

Bicarregui, Juan C.


Springer London

, 1998, Kartoniert / Broschiert
ISBN: 3540761861
Neuware
117,95 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Goal-Directed Proof Theory

Dov M. Gabbay N. Olivetti


Springer Netherlands

, 2000, Gebunden
ISBN: 0792364732
Neuware
127,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Fundamentals of Computation Theory

Artur Je¿


Springer, Springer International Publishing

, 23.09.2025, Taschenbuch
ISBN: 9783032046994
Neuware
79,17 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Frontiers of Combining Systems

Bernhard Gramlich


Springer Berlin Heidelberg

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

neues Buch On the Shape of Mathematical Arguments

Antonetta J. M. Van Gasteren


Springer

, 24.07.1990, Taschenbuch
ISBN: 3540528490
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Ordinal Analysis with an Introduction to Proof Theory

Toshiyasu Arai


Springer Singapore

, 2020, Gebunden
ISBN: 9789811564581
Neuware
89,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Proof Theory

K. Schuette


Springer Berlin Heidelberg

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

neues Buch Resolution Proof Systems

Z. Stachniak


Springer Netherlands

, 1996, Gebunden
ISBN: 0792340175
Neuware
91,95 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch A Proof Theory for General Unification

W. Snyder


Birkhaeuser Boston

, 1991, Gebunden
ISBN: 0817635939
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch A Proof Theory for General Unification

W. Snyder


Birkhaeuser Boston

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

neues Buch Proof Theory

neues Buch Resolution Proof Systems

Z. Stachniak


Springer Netherlands

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