Ergebnisse filtern
-
- 5
- 5
-
- 1
- 2
- 2
- 1
- 3
- 1
-
- 5
- 1
- 1
- 1
- 2
-
- 9
- 1
-
- 10
-
- 10
-
- 10
-
Dubois / Kerber Intelligent Computer Mathematics
16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-42752-7Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kerber / Kohlhase Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium1. Auflage 2001Verlag: Taylor & Francis eBooksISBN: 978-1-4398-6423-4Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)73,49 € (inkl. MwSt.)
sofort verfügbar -
Kerber / Kohlhase Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 SymposiumErscheinungsjahr 2001Verlag: Taylor & Francis eBooksISBN: 978-1-040-18684-8Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)73,49 € (inkl. MwSt.)
sofort verfügbar -
Kerber / Kohlhase Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium1. Auflage 2001Verlag: Taylor & FrancisISBN: 978-1-56881-145-1Medium: BuchLieferzeit ca. 10 Werktage -
Kauers / Kerber / Miner Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-73086-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Kauers / Kerber / Miner Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73083-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kerber / Carette / Kaliszyk Intelligent Computer Mathematics
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.2015Verlag: SpringerISBN: 978-3-319-20614-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kerber / Carette / Kaliszyk Intelligent Computer Mathematics
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.Erscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-20615-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Lloyd / Dahl / Furbach Computational Logic - CL 2000
First International Conference London, UK, July 24-28, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44957-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Lloyd / Dahl / Furbach Computational Logic - CL 2000
First International Conference London, UK, July 24-28, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67797-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort