Hoppa till sidans huvudinnehåll

Alexander Leitsch – författare

Visar alla böcker från författaren Alexander Leitsch. Handla med fri frakt och snabb leverans.
9 produkter

Automated Model Building

AvRicardo Caferra,Alexander Leitschm. fl.

Inbunden, Engelska, 2004

2 109 kr

Skickas inom 10-15 vardagar

First-Order Schemata and Inductive Proof Analysis

AvAlexander Leitsch,David Michael Cernam. fl.

Inbunden, Engelska, 2026

2 229 kr

Skickas inom 5-8 vardagar

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 449 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 Leitschm. fl.

Häftad, Engelska, 1993

709 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 Leitschm. fl.

Häftad, Engelska, 1997

709 kr

Skickas inom 10-15 vardagar

Resolution Calculus

AvAlexander Leitsch

Häftad, Engelska, 2011

709 kr

Skickas inom 10-15 vardagar

Del 31 - Applied Logic Series

Automated Model Building

AvRicardo Caferra,Alexander Leitschm. fl.

Häftad, Engelska, 2010

2 109 kr

Skickas inom 10-15 vardagar

Methods of Cut-Elimination

AvMatthias Baaz,Alexander Leitsch

Inbunden, Engelska, 2011

1 409 kr

Skickas inom 10-15 vardagar

Methods of Cut-Elimination

AvMatthias Baaz,Alexander Leitsch

Häftad, Engelska, 2013

1 409 kr

Skickas inom 10-15 vardagar