Gebundenes Buch
The Curry--Howard Protocol
2005 edition
21. Juni 2005
Springer / Springer New York / Springer, Berlin
11303336,978-0-387-23759-6
| Broschiertes Buch | 110,99 € | |
| eBook, PDF | 149,79 € |
Broschiertes Buch
The Curry--Howard Protocol
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2014-0
Ähnliche Artikel
Broschiertes Buch
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
2002
20. Februar 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43287-6
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
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2312-7
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
International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
1996.
7. Oktober 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10692689,978-3-540-65137-6
Gebundenes Buch
From its Origins until Today
2004
9. Juni 2004
Springer / Springer Netherlands
978-1-4020-2334-7
Gebundenes Buch
2002
17. Januar 2002
Springer, Basel
Broschiertes Buch
International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
1999.
22. September 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704119,978-3-540-66537-3
Ähnlichkeitssuche: Fact®Finder von OMIKRON
