Ergebnisse filtern
-
- 7
-
- 1
- 3
- 3
-
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
-
- 5
- 2
-
- 6
- 1
-
- 7
-
- 7
-
- 7
Künstliche Intelligenz
-
Sikkel Parsing Schemata
A Framework for Specification and Analysis of Parsing AlgorithmsSoftcover Nachdruck of the original 1. Auflage 1997Verlag: SpringerISBN: 978-3-642-64451-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Paolini / Ronchi Della Rocca 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
-
Paolini / Ronchi Della Rocca The Parametric Lambda Calculus
A Metamodel for Computation2004Verlag: Springer Berlin HeidelbergISBN: 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
-
Hutter Universal Artificial Intelligence
Sequential Decisions Based on Algorithmic Probability1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22139-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Castéran / Bertot 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: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Castéran / Bertot Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20854-9Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
