Ergebnisse filtern
-
- 6
- 1
-
- 2
- 1
- 1
- 1
- 1
- 1
-
- 3
- 4
-
- 1
- 5
- 1
-
- 7
-
- 7
-
- 7
- 2
Mathematik | Informatik
-
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 / 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 Automated Deduction - CADE-19
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 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: Springer Berlin HeidelbergISBN: 978-3-540-73447-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voronkov / Baader Logic for Programming, Artificial Intelligence, and Reasoning
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25236-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baader / Eiter / Brewka KI 2001: Advances in Artificial Intelligence
Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42612-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baader / Calvanese / McGuinness The Description Logic Handbook
2. Revised Auflage 2010Verlag: Cambridge University PressISBN: 978-0-521-15011-8Medium: Buch79,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
