Hoppa till sidans huvudinnehåll

Alexander Leitsch – författare

Visar alla böcker från författaren Alexander Leitsch.
9 produkter
Ricardo Caferra, Alexander Leitsch, Nicolas Peltier - Automated Model Building, Inbunden

Automated Model Building

AvRicardo Caferra,Alexander Leitschm. fl.

Inbunden, Engelska, 2004

2 119 kr

Skickas inom 10-15 vardagar

Alexander Leitsch, David Michael Cerna, Anela Lolic - First-Order Schemata and Inductive Proof Analysis, Inbunden

First-Order Schemata and Inductive Proof Analysis

AvAlexander Leitsch,David Michael Cernam. fl.

Inbunden, Engelska, 2026

2 259 kr

Skickas inom 5-8 vardagar

Rajeev Gore, Alexander Leitsch, Tobias Nipkow - Automated Reasoning, Häftad

Automated Reasoning

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

AvRajeev Gore,Alexander Leitschm. fl.

Häftad, Engelska, 2001

1 459 kr

Skickas inom 10-15 vardagar

Georg Gottlob, Alexander Leitsch, Daniele Mundici - Computational Logic and Proof Theory, Häftad

Computational Logic and Proof Theory

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

AvGeorg Gottlob,Alexander Leitschm. fl.

Häftad, Engelska, 1993

719 kr

Skickas inom 10-15 vardagar

Georg Gottlob, Alexander Leitsch, Daniele Mundici - Computational Logic and Proof Theory, Häftad

Computational Logic and Proof Theory

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

AvGeorg Gottlob,Alexander Leitschm. fl.

Häftad, Engelska, 1997

719 kr

Skickas inom 10-15 vardagar

Alexander Leitsch - Resolution Calculus, Häftad

Resolution Calculus

AvAlexander Leitsch

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar

Ricardo Caferra, Alexander Leitsch, Nicolas Peltier - Automated Model Building, Häftad
Del 31 - Applied Logic Series

Automated Model Building

AvRicardo Caferra,Alexander Leitschm. fl.

Häftad, Engelska, 2010

2 129 kr

Skickas inom 10-15 vardagar

Matthias Baaz, Alexander Leitsch - Methods of Cut-Elimination, Inbunden

Methods of Cut-Elimination

AvMatthias Baaz,Alexander Leitsch

Inbunden, Engelska, 2011

1 419 kr

Skickas inom 10-15 vardagar

Matthias Baaz, Alexander Leitsch - Methods of Cut-Elimination, Häftad
Del 34 - Trends in Logic

Methods of Cut-Elimination

AvMatthias Baaz,Alexander Leitsch

Häftad, Engelska, 2013

1 419 kr

Skickas inom 10-15 vardagar