![Computation and Reasoning - A Type Theory for Computer Science Computation and Reasoning - A Type Theory for Computer Science](https://bilder.buecher.de/produkte/22/22044/22044782m.jpg)
Gebundenes Buch
12. Mai 1994
Sydney University Press
![Formal Semantics in Modern Type Theories Formal Semantics in Modern Type Theories](https://bilder.buecher.de/produkte/50/50010/50010310m.jpg)
![Types for Proofs and Programs Types for Proofs and Programs](https://bilder.buecher.de/produkte/22/22925/22925196m.jpg)
Broschiertes Buch
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
2002
20. Februar 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43287-6
Ähnliche Artikel
![Handbook of Logic in Computer Science Handbook of Logic in Computer Science](https://bilder.buecher.de/produkte/22/22202/22202599m.jpg)
Gebundenes Buch
Volume 3: Semantic Structures
15. Juni 1995
Oxford University Press, USA
![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
![Computable Models Computable Models](https://bilder.buecher.de/produkte/24/24881/24881354m.jpg)
Gebundenes Buch
2009
10. März 2009
Springer / Springer London / Springer, Berlin
12168965,978-1-84882-051-7
![Handbook of Logic in Computer Science Handbook of Logic in Computer Science](https://bilder.buecher.de/produkte/22/22276/22276896m.jpg)
Gebundenes Buch
Volume 4: Semantic Modelling
15. Juni 1995
Oxford University Press, USA
![The Domain Theory in Computer Science The Domain Theory in Computer Science](https://bilder.buecher.de/produkte/66/66348/66348903m.jpg)
![The Pillars of Computation Theory The Pillars of Computation Theory](https://bilder.buecher.de/produkte/23/23838/23838770m.jpg)
Broschiertes Buch
State, Encoding, Nondeterminism
2010 edition
11. November 2009
Springer / Springer New York / Springer, Berlin
12241279,978-0-387-09638-4
![Advances in Modal Logic, Volume 3 Advances in Modal Logic, Volume 3](https://bilder.buecher.de/produkte/21/21555/21555434m.jpg)
Gebundenes Buch
24. September 2002
World Scientific Publishing Company
![Computable Models Computable Models](https://bilder.buecher.de/produkte/32/32940/32940120m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2009
13. Oktober 2010
Springer / Springer London / Springer, Berlin
978-1-84996-818-8
![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
![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
Ähnlichkeitssuche: Fact®Finder von OMIKRON