![Methods of Cut-Elimination Methods of Cut-Elimination](https://bilder.buecher.de/produkte/37/37203/37203761m.jpg)
Broschiertes Buch
2011
25. Februar 2013
Springer / Springer Netherlands
978-94-007-3497-5
Gebundenes Buch | 97,99 € | |
eBook, PDF | 73,95 € |
![Methods of Cut-Elimination Methods of Cut-Elimination](https://bilder.buecher.de/produkte/31/31713/31713142m.jpg)
Gebundenes Buch
2011 edition
17. Januar 2011
Springer / Springer Netherlands
80020859,978-94-007-0319-3
![Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning](https://bilder.buecher.de/produkte/23/23448/23448958m.jpg)
Broschiertes Buch
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
2002
2. Oktober 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00010-5
eBook, PDF | 40,95 € |
![Computer Science Logic Computer Science Logic](https://bilder.buecher.de/produkte/23/23149/23149115m.jpg)
Broschiertes Buch
17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
2003
18. August 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40801-7
eBook, PDF | 73,95 € |
![Methods of Cut-Elimination (eBook, PDF) Methods of Cut-Elimination (eBook, PDF)](https://bilder.buecher.de/produkte/37/37412/37412945m.jpg)
Ähnliche Artikel
![Problems and Exercises in Discrete Mathematics Problems and Exercises in Discrete Mathematics](https://bilder.buecher.de/produkte/32/32106/32106550m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 1996
15. Dezember 2010
Springer / Springer Netherlands
978-90-481-4702-1
![Analysis and Synthesis of Logics Analysis and Synthesis of Logics](https://bilder.buecher.de/produkte/23/23311/23311647m.jpg)
Gebundenes Buch
How to Cut and Paste Reasoning Systems
2008 edition
4. Februar 2008
Springer / Springer Netherlands
11883531
![Analysis and Synthesis of Logics Analysis and Synthesis of Logics](https://bilder.buecher.de/produkte/32/32094/32094538m.jpg)
Broschiertes Buch
How to Cut and Paste Reasoning Systems
Softcover reprint of hardcover 1st edition 2008
22. November 2010
Springer / Springer Netherlands
![Collegium Logicum Collegium Logicum](https://bilder.buecher.de/produkte/34/34212/34212297m.jpg)
Broschiertes Buch
1996.
30. April 1996
Springer / Springer Vienna / Springer, Wien
978-3-211-82796-3
![Fuzzy Evolutionary Computation Fuzzy Evolutionary Computation](https://bilder.buecher.de/produkte/27/27608/27608626m.jpg)
Gebundenes Buch
1997.
30. Juni 1997
Springer / Springer US / Springer, Berlin
978-0-7923-9942-1
![Fuzzy Set Theory--And Its Applications Fuzzy Set Theory--And Its Applications](https://bilder.buecher.de/produkte/21/21078/21078447m.jpg)
Gebundenes Buch
3rd ed.
30. April 1996
Springer / Springer Netherlands
978-0-7923-9624-6
![Vaguely Defined Objects Vaguely Defined Objects](https://bilder.buecher.de/produkte/24/24547/24547530m.jpg)
Gebundenes Buch
Representations, Fuzzy Sets and Nonclassical Cardinality Theory
1995.
31. Dezember 1995
Springer / Springer Netherlands
978-0-7923-3850-5
![Optimization Models Using Fuzzy Sets and Possibility Theory Optimization Models Using Fuzzy Sets and Possibility Theory](https://bilder.buecher.de/produkte/27/27607/27607451m.jpg)
Gebundenes Buch
1987.
30. Juni 1987
Springer / Springer Netherlands
978-90-277-2492-2
![Computability in Combinatory Spaces Computability in Combinatory Spaces](https://bilder.buecher.de/produkte/26/26402/26402528m.jpg)
Gebundenes Buch
An Algebraic Generalization of Abstract First Order Computability
1992.
31. März 1992
Springer Netherlands / Springer, Berlin
Ähnlichkeitssuche: Fact®Finder von OMIKRON