eBook, PDF
14. März 2013
Springer Berlin Heidelberg
| Broschiertes Buch | 59,99 € | |
| Gebundenes Buch | 83,99 € |
Broschiertes Buch
Coq¿Art: The Calculus of Inductive Constructions
Softcover reprint of hardcover 1st ed. 2004
15. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-05880-6
Gebundenes Buch
Coq¿Art: The Calculus of Inductive Constructions
2004
14. Mai 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20854-9
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 € |
Ähnliche Artikel
eBook, PDF
31. Juli 2003
Springer Berlin Heidelberg
eBook, PDF
3. August 2003
Springer Berlin Heidelberg
eBook, PDF
24. Februar 2004
Springer Berlin Heidelberg
eBook, PDF
4. November 2009
Springer-Verlag GmbH
eBook, PDF
15. Dezember 2003
Springer Berlin Heidelberg
Ähnlichkeitssuche: Fact®Finder von OMIKRON
