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 | 116,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
Broschiertes Buch
2003
22. November 2002
Birkhäuser / Birkhäuser Boston / Springer, Basel
978-0-8176-4291-4
Broschiertes Buch
On the Foundations of Automated Deduction
1991.
7. August 1991
Springer, Berlin
Broschiertes Buch
3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings
1989.
22. März 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-51081-9
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 1993
1. Dezember 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2835-1
Broschiertes Buch
Mathematisches Denken und Beweisen Eine Einführung
6. Aufl.
3. Oktober 2015
Springer Fachmedien Wiesbaden / Springer Vieweg / Springer, Berlin
978-3-658-09885-8
Broschiertes Buch
International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
2007
25. Mai 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12067930,978-3-540-72732-3
Ähnlichkeitssuche: Fact®Finder von OMIKRON
