![Set Theory for Computing Set Theory for Computing](https://bilder.buecher.de/produkte/10/10051/10051200m.jpg)
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 | 115,99 € |
![An Introduction to the Technique of Formative Processes in Set Theory (eBook, PDF) An Introduction to the Technique of Formative Processes in Set Theory (eBook, PDF)](https://bilder.buecher.de/produkte/52/52942/52942270m.jpg)
eBook, PDF
15. Februar 2018
Springer International Publishing
Broschiertes Buch | 37,99 € | |
Gebundenes Buch | 37,99 € |
![An Introduction to the Technique of Formative Processes in Set Theory An Introduction to the Technique of Formative Processes in Set Theory](https://bilder.buecher.de/produkte/55/55071/55071504m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2018
4. Juni 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-319-89283-2
![An Introduction to the Technique of Formative Processes in Set Theory An Introduction to the Technique of Formative Processes in Set Theory](https://bilder.buecher.de/produkte/50/50398/50398544m.jpg)
Gebundenes Buch
1st ed. 2018
26. Februar 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-74777-4
![Set Theory for Computing Set Theory for Computing](https://bilder.buecher.de/produkte/32/32216/32216301m.jpg)
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
![Computational Logic and Set Theory Computational Logic and Set Theory](https://bilder.buecher.de/produkte/41/41620/41620856m.jpg)
Broschiertes Buch
Applying Formalized Logic to Analysis
2011
6. September 2014
Springer / Springer London / Springer, Berlin
978-1-4471-6018-2
Gebundenes Buch | 37,99 € |
![Computational Logic and Set Theory Computational Logic and Set Theory](https://bilder.buecher.de/produkte/33/33358/33358678m.jpg)
Gebundenes Buch
Applying Formalized Logic to Analysis
2011
16. Juli 2011
Springer / Springer London / Springer, Berlin
80031844,978-0-85729-807-2
Ähnliche Artikel
![Computer Algebra Recipes Computer Algebra Recipes](https://bilder.buecher.de/produkte/10/10051/10051660m.jpg)
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
![Abstraction, Refinement and Proof for Probabilistic Systems Abstraction, Refinement and Proof for Probabilistic Systems](https://bilder.buecher.de/produkte/32/32220/32220323m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2312-7
![Automata, Logics, and Infinite Games Automata, Logics, and Infinite Games](https://bilder.buecher.de/produkte/11/11436/11436310m.jpg)
Broschiertes Buch
A Guide to Current Research
2002
13. Dezember 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00388-5
![Handbook of Logic and Proof Techniques for Computer Science Handbook of Logic and Proof Techniques for Computer Science](https://bilder.buecher.de/produkte/22/22363/22363225n.jpg)
Gebundenes Buch
2002
17. Januar 2002
Springer, Basel
![Logic and Complexity Logic and Complexity](https://bilder.buecher.de/produkte/36/36936/36936052m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2004
8. Oktober 2012
Springer / Springer London / Springer, Berlin
978-1-4471-1052-1
![Adapting Proofs-As-Programs Adapting Proofs-As-Programs](https://bilder.buecher.de/produkte/14/14172/14172801m.jpg)
Gebundenes Buch
The Curry--Howard Protocol
2005 edition
21. Juni 2005
Springer / Springer New York / Springer, Berlin
11303336,978-0-387-23759-6
![Geometric Fundamentals of Robotics Geometric Fundamentals of Robotics](https://bilder.buecher.de/produkte/06/06439/06439687m.jpg)
Gebundenes Buch
2nd ed.
19. November 2004
Springer / Springer New York / Springer, Berlin
10983911,978-0-387-20874-9
![Geometric Fundamentals of Robotics Geometric Fundamentals of Robotics](https://bilder.buecher.de/produkte/32/32207/32207508m.jpg)
Broschiertes Buch
2nd ed.
25. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-1929-8
Ähnlichkeitssuche: Fact®Finder von OMIKRON