Broschiertes Buch
A monograph
8. Juli 2013
LAP Lambert Academic Publishing
Ähnliche Artikel
Broschiertes Buch
Introducing quantified cuts in sequent calculus
1. Oktober 2015
AV Akademikerverlag
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
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
Broschiertes Buch
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
1st ed. 2016
21. Juni 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-41134-7
Broschiertes Buch
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
2012
16. Mai 2012
Springer / Springer Berlin Heidelberg / Springer, Berlin
86105519,978-3-642-30472-9
Broschiertes Buch
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
2013
7. Juni 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-38915-3
Broschiertes Buch
Making the Creative Leap
3. Februar 2012
Focal Press
Y140953
Broschiertes Buch
1995.
13. Dezember 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60615-4
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2009
25. November 2010
Springer / Springer US / Springer, Berlin
978-1-4419-4689-8
Broschiertes Buch
2016
Morgan & Claypool / Springer / Springer International Publishing / Springer, Berlin
978-3-031-00728-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON
