Hoppa till sidans huvudinnehåll

Alexander Leitsch - Böcker

Visar alla böcker från författaren Alexander Leitsch.
9 produkter
Del 31 - Applied Logic Series

Automated Model Building

Av Ricardo Caferra, Alexander Leitsch m. fl

Inbunden, Engelska, 2004

2 059 kr

Skickas inom 10-15 vardagar
  • Nyhet

First-Order Schemata and Inductive Proof Analysis

Av Alexander Leitsch, David Michael Cerna m. fl

Inbunden, Engelska, 2026

2 789 kr

Kommande

Automated Reasoning

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

Av Rajeev Gore, Alexander Leitsch m. fl

Häftad, Engelska, 2001

1 409 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

Av Georg Gottlob, Alexander Leitsch m. 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

Av Georg Gottlob, Alexander Leitsch m. fl

Häftad, Engelska, 1997

709 kr

Skickas inom 10-15 vardagar

Resolution Calculus

Av Alexander Leitsch

Häftad, Engelska, 2011

709 kr

Skickas inom 10-15 vardagar

Automated Model Building

Av Ricardo Caferra, Alexander Leitsch m. fl

Häftad, Engelska, 2010

2 059 kr

Skickas inom 10-15 vardagar
Del 34 - Trends in Logic

Methods of Cut-Elimination

Av Matthias Baaz, Alexander Leitsch

Inbunden, Engelska, 2011

1 409 kr

Skickas inom 10-15 vardagar
Del 34 - Trends in Logic

Methods of Cut-Elimination

Av Matthias Baaz, Alexander Leitsch

Häftad, Engelska, 2013

1 409 kr

Skickas inom 10-15 vardagar