Broschiertes Buch
From Decision Procedures to Declarative Programming with Sets
Softcover reprint of the original 1st edition 2001
21. September 2011
Springer / Springer New York / Springer, Berlin
978-1-4419-2905-1
| eBook, PDF | 112,95 € |
Gebundenes Buch
Applying Formalized Logic to Analysis
2011
16. Juli 2011
Springer / Springer London / Springer, Berlin
80031844,978-0-85729-807-2
| Broschiertes Buch | 38,99 € | |
| eBook, PDF | 40,95 € |
Ähnliche Artikel
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2312-7
Broschiertes Buch
Softcover reprint of the original 1st edition 2004
8. Oktober 2012
Springer / Springer London / Springer, Berlin
978-1-4471-1052-1
Broschiertes Buch
2. Aufl.
14. August 2006
Springer / Springer London / Springer, Berlin
11011002,978-1-84628-241-6
Gebundenes Buch
2004 edition
20. Januar 2004
Springer / Springer London / Springer, Berlin
978-1-85233-565-6
Broschiertes Buch
State, Encoding, Nondeterminism
2010 edition
11. November 2009
Springer / Springer New York / Springer, Berlin
12241279,978-0-387-09638-4
Gebundenes Buch
2010 edition
1. September 2010
Springer / Springer US / Springer, Berlin
12683161,978-1-4419-7154-8
Gebundenes Buch
2010 edition
22. Dezember 2009
Springer / Springer London / Springer, Berlin
11778295,978-1-84882-735-6
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
Broschiertes Buch
On the Foundations of Automated Deduction
1991.
7. August 1991
Springer, Berlin
Broschiertes Buch
Softcover reprint of hardcover 1st edition 1993
1. Dezember 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2835-1
Ähnlichkeitssuche: Fact®Finder von OMIKRON
