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 m. fl.

Inbunden, Engelska, 2004

2 009 kr

Skickas inom 10-15 vardagar

  • Nyhet

First-Order Schemata and Inductive Proof Analysis

AvAlexander Leitsch,David Michael Cerna m. fl.

Inbunden, Engelska, 2026

2 149 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 m. fl.

Häftad, Engelska, 2001

1 369 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 m. fl.

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 m. fl.

Häftad, Engelska, 1997

689 kr

Skickas inom 10-15 vardagar

Resolution Calculus

AvAlexander Leitsch

Häftad, Engelska, 2011

699 kr

Skickas inom 10-15 vardagar

Automated Model Building

AvRicardo Caferra,Alexander Leitsch m. fl.

Häftad, Engelska, 2010

2 009 kr

Skickas inom 10-15 vardagar

Methods of Cut-Elimination

AvMatthias Baaz,Alexander Leitsch

Inbunden, Engelska, 2011

1 369 kr

Skickas inom 10-15 vardagar

Methods of Cut-Elimination

AvMatthias Baaz,Alexander Leitsch

Häftad, Engelska, 2013

1 369 kr

Skickas inom 10-15 vardagar