Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Automated Model Building
Ricardo Caferra, Alexander Leitsch + weitere
Automated Model BuildingBand 31Buch (Gebundene Ausgabe) + weitere
Fr. 191.00
Versandfertig innert 3 Wochen
-
Methods of Cut-Elimination
Matthias Baaz + weitere
Methods of Cut-EliminationBand 34eBook (PDF) + weitere
Fr. 125.90
Sofort per Download lieferbar
-
First-Order Schemata and Inductive Proof Analysis
Alexander Leitsch, David Michael Cerna + weitere
First-Order Schemata and Inductive Proof AnalysiseBook (PDF) + weitere
Fr. 200.90
Sofort per Download lieferbar
-
The Resolution Calculus
Alexander Leitsch
The Resolution CalculusBuch (Taschenbuch)
Fr. 72.90
Versandfertig innert 4 - 7 Werktagen
-
Computational Logic and Proof Theory
Georg Gottlob, Alexander Leitsch + weitere
Computational Logic and Proof TheoryBand 713Buch (Taschenbuch) + weitere
Fr. 72.90
Versandfertig innert 4 - 7 Werktagen
-
Automated Reasoning
Rajeev Gore, Alexander Leitsch + weitere
Automated ReasoningBuch (Taschenbuch)
Fr. 138.00
Versandfertig innert 4 - 7 Werktagen
von 6 Treffern werden angezeigt