Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
Produkt bewerten
Verlag:
Springer EN Unsere-Artikel-Nr.: P35144105
EAN: 9783540730835
Erhältlich:
Nicht auf Lager
Zustellung: Di, 11.08.2026
Versand: Kostenlos
-17.1 %
CHF 70.–
CHF 58.–
Spezifikationen
Sprache
- Englisch
Autor
- Manuel Kauers
- Manfred Kerber
- Robert Miner
- Wolfgang Windsteiger
Zielgruppe
- Research
Erscheinungsjahr
- 2007
Format
- Buch (Softcover)
Anzahl Seiten
- 410