Ergebnisse filtern
-
- 7
-
- 1
- 3
- 3
-
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
-
- 6
- 1
-
- 6
- 1
-
- 7
-
- 7
-
- 7
Künstliche Intelligenz
-
Ronchi Della Rocca / Paolini The Parametric Lambda Calculus
A Metamodel for Computation1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: SpringerISBN: 978-3-642-05746-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sikkel Parsing Schemata
A Framework for Specification and Analysis of Parsing AlgorithmsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-64451-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ronchi Della Rocca / Paolini The Parametric Lambda Calculus
A Metamodel for Computation1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20032-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hutter Universal Artificial Intelligence
Sequential Decisions Based on Algorithmic Probability1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-3-642-06052-6Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bertot / Castéran Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20854-9Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bertot / Castéran Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: SpringerISBN: 978-3-642-05880-6Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hutter Universal Artificial Intelligence
Sequential Decisions Based on Algorithmic Probability1. Auflage 2004Verlag: Springer NetherlandsISBN: 978-3-540-22139-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
