Gebundenes Buch
From Decision Procedures to Declarative Programming with Sets
2001 edition
26. Juni 2001
Springer / Springer New York / Springer, Berlin
978-0-387-95197-3
| Broschiertes Buch | 125,99 € | |
| eBook, PDF | 113,95 € |
Broschiertes Buch
From Decision Procedures to Declarative Programming with Sets
Softcover reprint of the original 1st ed. 2001
21. September 2011
Springer / Springer New York / Springer, Berlin
978-1-4419-2905-1
Gebundenes Buch
Applying Formalized Logic to Analysis
2011
16. Juli 2011
Springer / Springer London / Springer, Berlin
80031844,978-0-85729-807-2
| Broschiertes Buch | 37,99 € | |
| eBook, PDF | 40,95 € |
Ähnliche Artikel
Gebundenes Buch
A Gourmet's Guide to the Mathematical Models of Science
8. Juni 2001
Springer / Springer New York / Springer, Berlin
10781860,978-0-387-95148-5
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
A Guide to Current Research
2002
13. Dezember 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00388-5
Gebundenes Buch
2002
17. Januar 2002
Springer, Basel
Broschiertes Buch
Softcover reprint of the original 1st ed. 2004
8. Oktober 2012
Springer / Springer London / Springer, Berlin
978-1-4471-1052-1
Gebundenes Buch
The Curry--Howard Protocol
2005 edition
21. Juni 2005
Springer / Springer New York / Springer, Berlin
11303336,978-0-387-23759-6
Gebundenes Buch
2nd ed.
19. November 2004
Springer / Springer New York / Springer, Berlin
10983911,978-0-387-20874-9
Broschiertes Buch
2nd ed.
25. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-1929-8
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
Ähnlichkeitssuche: Fact®Finder von OMIKRON
