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
1988.
30. Juni 1988
Springer / Springer Netherlands
978-90-277-2724-4
Gebundenes Buch
Coq¿Art: The Calculus of Inductive Constructions
2004
14. Mai 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20854-9
13,99 €
Versandfertig in über 4 Wochen
14,99 €
Versandfertig in über 4 Wochen
Broschiertes Buch
Februar 2012
Creative Media Partners, LLC
Broschiertes Buch
Februar 2012
Creative Media Partners, LLC
Broschiertes Buch
Filosofia ieri, filosofia oggi: progresso o regresso
28. Mai 2024
Edizioni Sapienza
Gebundenes Buch
Auflage
1. Dezember 2020
Carlsen / Carlsen Comics
Ähnlichkeitssuche: Fact®Finder von OMIKRON