Suchergebnisse für ""John N. Crossley""

Adapting Proofs-as-Programs
113,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Iman Poernomo
John N. Crossley
Martin Wirsing
Adapting Proofs-as-Programs
  (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
Auch erhältlich als
eBook, PDF112,95 €
Adapting Proofs-as-Programs (eBook, PDF)
112,95 €
Sofort per Download lieferbar
Versandkostenfrei
Iman Poernomo
John N. Crossley
Martin Wirsing
Adapting Proofs-as-Programs (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
27. April 2007
Springer US
Adapting Proofs-As-Programs
Iman Poernomo
John N. Crossley
Martin Wirsing
Adapting Proofs-As-Programs
  (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
What is Mathematical Logic?
John N. Crossley
What is Mathematical Logic?
  (Aktuell noch keine Bewertungen)
Buch
1972
Oxfrod University Press, London UK


Ähnlichkeitssuche: Fact®Finder von OMIKRON