Broschiertes Buch
Coq'Art: The Calculus of Inductive Constructions
Softcover reprint of hardcover 1st edition 2004
15. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-05880-6
| Gebundenes Buch | 82,99 € | |
| eBook, PDF | 64,95 € |
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 € |
eBook, PDF
14. März 2013
Springer Berlin Heidelberg
Ähnliche Artikel
Broschiertes Buch
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
8. August 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11541868,978-3-540-28372-0
Broschiertes Buch
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
21. August 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40664-8
Broschiertes Buch
10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
1998.
6. August 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10547850,978-3-540-63379-2
Broschiertes Buch
11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
1998.
9. September 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10638740,978-3-540-64987-8
Broschiertes Buch
14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
22. August 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42525-0
Broschiertes Buch
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
1995.
18. Oktober 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60579-9
Broschiertes Buch
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
19. Juli 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-39633-5
Broschiertes Buch
International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
1996.
2. Oktober 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61780-8
Broschiertes Buch
20. November 2011
Springer / Springer London / Springer, Berlin
978-1-4471-1593-9
Ähnlichkeitssuche: Fact®Finder von OMIKRON
