Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Filiale in Ihrer Nähe.
-
Methods of Cut-Elimination
Band 34Matthias Baaz + weitere
Methods of Cut-EliminationBuch (Gebundene Ausgabe) + weitere
Fr. 138.00
-
Automated Model Building
Band 31Ricardo Caferra, Alexander Leitsch + weitere
Automated Model BuildingBuch (Taschenbuch) + weitere
Fr. 191.00
-
Computational Logic and Proof Theory
Band 713Georg Gottlob, Alexander Leitsch + weitere
Computational Logic and Proof TheoryBuch (Taschenbuch) + weitere
Fr. 72.90
-
First-Order Schemata and Inductive Proof Analysis
Alexander Leitsch, David Michael Cerna + weitere
First-Order Schemata and Inductive Proof AnalysisBuch (Gebundene Ausgabe) + weitere
Fr. 201.00
-
The Resolution Calculus
Alexander Leitsch
The Resolution CalculusBuch (Taschenbuch)
Fr. 72.90
-
Automated Reasoning
Band 2083Rajeev Gore, Alexander Leitsch + weitere
Automated ReasoningBuch (Taschenbuch)
Fr. 138.00
von 6 Treffern werden angezeigt