Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science)

Wo zu kaufen (2) Eigenschaften
Gesponsert
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 01:41:54
Siehe Produktangebot
Gesponsert
Automated Deduction in Classical and Non-Classical Logics
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 10-06-2026 10:55:04
Siehe Produktangebot

Allgemein

Marke
Ricardo Caferra
ISBN
Ricardo Caferra 9783540671909
MPN
Ricardo Caferra biography

Eigenschaften

Ähnliche Produkte

Automated Deduction
Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 - 11, 2017, Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Automated Deduction -
Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science, Band 7898)
Produkt anzeigen
Automated Deduction
Automated Deduction - C.A.D.E.-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture ... (Lecture Notes in Computer Science)
Produkt anzeigen
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31/September 2, 2006, Revised Papers (Lecture Notes in Computer Science, 4869, Band 4869)
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31/September 2, 2006, Revised Papers (Lecture Notes in Computer Science, 4869, Band 4869)
Produkt anzeigen
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science)
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science)
Produkt anzeigen
Menü