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
Ähnliche Artikel
Broschiertes Buch
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
2005
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
2003
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
2001
22. August 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42525-0
Broschiertes Buch
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
2013
19. Juli 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-39633-5
Broschiertes Buch
Softcover reprint of the original 1st ed. 1998
20. November 2011
Springer / Springer London / Springer, Berlin
978-1-4471-1593-9
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
22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
2009
4. August 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12727186,978-3-642-03358-2
Ähnlichkeitssuche: Fact®Finder von OMIKRON
