Ergebnisse filtern
-
- 2
- 2
-
- 4
-
- 4
- 2
-
- 4
-
- 2
- 2
-
- 4
-
- 4
-
- 4
-
Bonacina Automated Deduction -- CADE-24
24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-38573-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bonacina Automated Deduction -- CADE-24
24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-38574-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Stickel / Bonacina Automated Reasoning and Mathematics
Essays in Memory of William W. McCune2013Verlag: SpringerISBN: 978-3-642-36674-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bonacina / Stickel Automated Reasoning and Mathematics
Essays in Memory of William W. McCuneErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-36675-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort