Ergebnisse filtern
-
- 4
- 1
-
- 2
- 1
- 1
- 1
-
- 5
- 2
- 2
- 2
- 1
-
- 2
- 3
-
- 1
- 3
- 1
-
- 5
-
- 5
-
- 5
- 2
Programmierung | Softwareentwicklung
-
Baader / Horrocks / Lutz An Introduction to Description Logic
Erscheinungsjahr 2017Verlag: Cambridge University PressISBN: 978-1-108-21551-0Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)36,49 € (inkl. MwSt.)
sofort verfügbar
-
Baader / Horrocks / Lutz An Introduction to Description Logic
Erscheinungsjahr 2017Verlag: Cambridge University PressISBN: 978-0-521-69542-8Medium: Buch53,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baader Automated Deduction - CADE-19
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings2003Verlag: SpringerISBN: 978-3-540-40559-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baader Term Rewriting and Applications
18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-73447-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baader / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-25236-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
