![Computation, Proof, Machine Computation, Proof, Machine](https://bilder.buecher.de/produkte/42/42090/42090919m.jpg)
Broschiertes Buch
Mathematics Enters a New Age
5. Mai 2015
Cambridge University Press
Gebundenes Buch | 114,99 € |
![The Age of Algorithms The Age of Algorithms](https://bilder.buecher.de/produkte/57/57016/57016145m.jpg)
![The Age of Algorithms The Age of Algorithms](https://bilder.buecher.de/produkte/57/57015/57015965m.jpg)
22,99 €
Versandfertig in über 4 Wochen
![Thesaurus der exakten Wissenschaften Thesaurus der exakten Wissenschaften](https://bilder.buecher.de/produkte/24/24632/24632006m.jpg)
![Computation, Proof, Machine Computation, Proof, Machine](https://bilder.buecher.de/produkte/42/42092/42092259m.jpg)
![Proofs and Algorithms Proofs and Algorithms](https://bilder.buecher.de/produkte/31/31522/31522812m.jpg)
Broschiertes Buch
An Introduction to Logic and Computability
2011 edition
14. Januar 2011
Springer / Springer London / Springer, Berlin
12833764,978-0-85729-120-2
![Principles of Programming Languages Principles of Programming Languages](https://bilder.buecher.de/produkte/24/24788/24788862m.jpg)
Broschiertes Buch
2009
13. März 2009
Springer / Springer London / Springer, Berlin
12246946,978-1-84882-031-9
![Introduction to the Theory of Programming Languages Introduction to the Theory of Programming Languages](https://bilder.buecher.de/produkte/31/31073/31073339m.jpg)
Broschiertes Buch
2011 edition
15. Dezember 2010
Springer / Springer London / Springer, Berlin
12828067,978-0-85729-075-5
![Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics](https://bilder.buecher.de/produkte/09/09217/09217001m.jpg)
Broschiertes Buch
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
1999.
1. September 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704460,978-3-540-66463-5
Ähnlichkeitssuche: Fact®Finder von OMIKRON