Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Filiale in Ihrer Nähe.
-
Automated Reasoning
Band 5195
Automated ReasoningBuch (Taschenbuch)
Fr. 72.90
-
Rewriting and Typed Lambda Calculi
Band 8560
Rewriting and Typed Lambda CalculiBuch (Taschenbuch) + weitere
Fr. 73.90
-
Computation, Proof, Machine
Gilles Dowek
Computation, Proof, MachineBuch (Taschenbuch) + weitere
Fr. 78.90
-
The Age of Algorithms
Serge Abiteboul + weitere
The Age of AlgorithmsBuch (Taschenbuch) + weitere
Fr. 34.90
-
Theorem Proving in Higher Order Logics
Band 1690Yves Bertot, Gilles Dowek + weitere
Theorem Proving in Higher Order LogicsBuch (Taschenbuch)
Fr. 72.90
-
Proofs and Algorithms
Gilles Dowek
Proofs and AlgorithmseBook (PDF) + weitere
Fr. 53.90
-
Introduction to the Theory of Programming Languages
Gilles Dowek + weitere
Introduction to the Theory of Programming LanguageseBook (PDF) + weitere
Fr. 53.90
-
Principles of Programming Languages
Gilles Dowek
Principles of Programming LanguageseBook (PDF) + weitere
Fr. 41.90
-
Higher-Order Algebra, Logic, and Term Rewriting
Band 1074Gilles Dowek, Jan Heering + weitere
Higher-Order Algebra, Logic, and Term RewritingBuch (Taschenbuch) + weitere
Fr. 72.90
von 9 Treffern werden angezeigt