Suchergebnisse für ""J. Richard Büchi""




Ähnliche Artikel


The Pillars of Computation Theory
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Arnold L. Rosenberg
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
State, Encoding, Nondeterminism
2010 edition
11. November 2009
Springer / Springer New York / Springer, Berlin
12241279,978-0-387-09638-4

Logic and Complexity
133,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Richard Lassaigne
Michel de Rougemont
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2004
8. Oktober 2012
Springer / Springer London / Springer, Berlin
978-1-4471-1052-1

Logic and Complexity
186,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Richard Lassaigne
Michel de Rougemont
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2004 edition
20. Januar 2004
Springer / Springer London / Springer, Berlin
978-1-85233-565-6

Theorem Proving with the Real Numbers
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
John Harrison
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1998
20. November 2011
Springer / Springer London / Springer, Berlin
978-1-4471-1593-9

Adapting Proofs-As-Programs
189,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Iman Poernomo
John N. Crossley
Martin Wirsing
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
The Curry--Howard Protocol
2005 edition
21. Juni 2005
Springer / Springer New York / Springer, Berlin
11303336,978-0-387-23759-6

Handbook of Logic and Proof Techniques for Computer Science
58,50 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in über 4 Wochen
Versandkostenfrei*
Steven G. Krantz
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2002
17. Januar 2002
Springer, Basel

Adapting Proofs-as-Programs
110,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Iman Poernomo
John N. Crossley
Martin Wirsing
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
The Curry--Howard Protocol
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2014-0

The P=np Question and Gödel's Lost Letter
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Richard J. Lipton
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2010 edition
1. September 2010
Springer / Springer US / Springer, Berlin
12683161,978-1-4419-7154-8

Computable Models
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Raymond Turner
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2009
13. Oktober 2010
Springer / Springer London / Springer, Berlin
978-1-84996-818-8



Ähnlichkeitssuche: Fact®Finder von OMIKRON