![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 | 127,99 € | |
eBook, ePUB | 29,95 € | |
eBook, PDF | 38,95 € |
![The Age of Algorithms The Age of Algorithms](https://bilder.buecher.de/produkte/57/57016/57016145m.jpg)
Gebundenes Buch
16. April 2020
Cambridge University Press
eBook, ePUB | 11,95 € | |
eBook, PDF | 11,95 € |
![The Age of Algorithms The Age of Algorithms](https://bilder.buecher.de/produkte/57/57015/57015965m.jpg)
![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
eBook, PDF | 28,95 € |
![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
eBook, PDF | 27,95 € |
![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
eBook, PDF | 28,95 € |
![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
eBook, PDF | 40,95 € |
![Computation, Proof, Machine (eBook, ePUB) Computation, Proof, Machine (eBook, ePUB)](https://bilder.buecher.de/produkte/42/42890/42890009m.jpg)
![Computation, Proof, Machine (eBook, PDF) Computation, Proof, Machine (eBook, PDF)](https://bilder.buecher.de/produkte/42/42880/42880960m.jpg)
![Proofs and Algorithms (eBook, PDF) Proofs and Algorithms (eBook, PDF)](https://bilder.buecher.de/produkte/43/43798/43798166m.jpg)
![Principles of Programming Languages (eBook, PDF) Principles of Programming Languages (eBook, PDF)](https://bilder.buecher.de/produkte/37/37354/37354352m.jpg)
![Introduction to the Theory of Programming Languages (eBook, PDF) Introduction to the Theory of Programming Languages (eBook, PDF)](https://bilder.buecher.de/produkte/43/43783/43783722m.jpg)
eBook, PDF
9. Dezember 2010
Springer London
Ähnlichkeitssuche: Fact®Finder von OMIKRON