Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Automated Deduction -- CADE-23
23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
Verlag:
Springer EN Unsere-Artikel-Nr.: P35450263
EAN: 9783642224379
Erhältlich:
Nicht auf Lager
Zustellung: Di, 13.10.2026
Versand: Kostenlos
-17.1 %
CHF 70.–
CHF 58.–
Spezifikationen
Sprache
- Englisch
Autor
- Nikolaj Bjørner
- Viorica Sofronie-Stokkermans
Zielgruppe
- Research
Erscheinungsjahr
- 2011
Format
- Buch (Softcover)
Anzahl Seiten
- 508