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 | 85,99 € |
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
21,99 €
Sofort lieferbar
Broschiertes Buch
Perspectives from the Un Regional Commissions
30. Januar 2004
Indiana University Press
Buch
Paris, La Documentation Française
Buch
Paris, La Documentation Française
Ähnlichkeitssuche: Fact®Finder von OMIKRON