Erhältlich:
Nicht auf Lager
Buch (Hardcover): Fachbuch
Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium
Produkt bewerten
Verlag:
Taylor & Francis Unsere-Artikel-Nr.: P35643669
EAN: 9781568811451
Erhältlich:
Nicht auf Lager
Zustellung: Di, 08.09.2026
Versand: Kostenlos
CHF 176.–
Spezifikationen
Sprache
- Englisch
Autor
- Michael Kohlhase
- Manfred Kerber
Erscheinungsjahr
- 2001
Format
- Buch (Hardcover)
Anzahl Seiten
- 284