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
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
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
Gebundenes Buch
1st Edition. 2nd Printing. 2008
4. Dezember 2008
Springer / Springer US / Springer, Berlin
12451463,978-0-387-87968-0
Broschiertes Buch
17th International Conference, TAP 2023, Leicester, UK, July 18¿19, 2023, Proceedings
1st ed. 2023
20. Juli 2023
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-38827-9
Ähnlichkeitssuche: Fact®Finder von OMIKRON
