Hoppa till sidans huvudinnehåll

Alexander Leitsch - Böcker

Visar alla böcker från författaren Alexander Leitsch.
9 produkter

Automated Model Building

AvRicardo Caferra,Alexander Leitsch,Nicolas Peltier

Inbunden, Engelska, 2004

2 069 kr

Skickas inom 10-15 vardagar

First-Order Schemata and Inductive Proof Analysis

AvAlexander Leitsch,David Michael Cerna,Anela Lolic

Inbunden, Engelska, 2026

2 199 kr

Skickas inom 10-15 vardagar

Automated Reasoning

First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

AvRajeev Gore,Alexander Leitsch,Tobias Nipkow

Häftad, Engelska, 2001

1 439 kr

Skickas inom 10-15 vardagar

Computational Logic and Proof Theory

Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

AvGeorg Gottlob,Alexander Leitsch,Daniele Mundici

Häftad, Engelska, 1993

699 kr

Skickas inom 10-15 vardagar

Computational Logic and Proof Theory

5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

AvGeorg Gottlob,Alexander Leitsch,Daniele Mundici

Häftad, Engelska, 1997

699 kr

Skickas inom 10-15 vardagar

Resolution Calculus

AvAlexander Leitsch

Häftad, Engelska, 2011

699 kr

Skickas inom 10-15 vardagar

Del 31 - Applied Logic Series

Automated Model Building

AvRicardo Caferra,Alexander Leitsch,Nicolas Peltier

Häftad, Engelska, 2010

2 069 kr

Skickas inom 10-15 vardagar

Methods of Cut-Elimination

AvMatthias Baaz,Alexander Leitsch

Inbunden, Engelska, 2011

1 389 kr

Skickas inom 10-15 vardagar

Methods of Cut-Elimination

AvMatthias Baaz,Alexander Leitsch

Häftad, Engelska, 2013

1 389 kr

Skickas inom 10-15 vardagar