Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Methods of Cut-Elimination
Band 34Matthias Baaz + weitere
Methods of Cut-EliminationeBook (PDF) + weitere
96,29 €
-
Automated Model Building
Band 31 - 13%Ricardo Caferra, Alexander Leitsch + weitere
Automated Model BuildingBuch (Taschenbuch) + weitere
138,99 € UVP
160,49 €* -
Computational Logic and Proof Theory
Band 713Georg Gottlob, Alexander Leitsch + weitere
Computational Logic and Proof TheoryBuch (Taschenbuch) + weitere
49,99 €
-
The Resolution Calculus
Alexander Leitsch
The Resolution CalculusBuch (Taschenbuch)
48,99 €
-
First-Order Schemata and Inductive Proof Analysis
- 12%Alexander Leitsch, David Michael Cerna + weitere
First-Order Schemata and Inductive Proof AnalysisBuch (Gebundene Ausgabe) + weitere
149,99 € UVP
171,19 €* -
Automated Reasoning
Band 2083Rajeev Gore, Alexander Leitsch + weitere
Automated ReasoningBuch (Taschenbuch)
97,99 €
von 6 Treffern werden angezeigt