Ergebnisse filtern
-
- 2
- 1
-
- 1
- 2
-
- 1
- 1
- 1
-
- 1
- 1
- 1
-
- 3
-
- 3
-
- 3
-
Sutcliffe / Platzer Automated Deduction - CADE 28
28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-79875-8Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sutcliffe / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-31650-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Voronkov / Sutcliffe Logic for Programming, Artificial Intelligence, and Reasoning
12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30553-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort