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