Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Automated Deduction - CADE-25
25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Verlag:
Springer EN Unsere-Artikel-Nr.: P36880734
EAN: 9783319214009
Erhältlich:
Nicht auf Lager
Zustellung: Di, 15.09.2026
Versand: Kostenlos
-16.7 %
CHF 69.–
CHF 57.50
Spezifikationen
Sprache
- Englisch
Autor
- Aart Middeldorp
- Amy P. Felty
Zielgruppe
- Research
Erscheinungsjahr
- 2015
Format
- Buch (Softcover)
Anzahl Seiten
- 640