Alexander Leitsch - Böcker

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

Automated Model Building

Av Ricardo Caferra, Alexander Leitsch, Nicolas Peltier

Inbunden, Engelska, 2004

2 109 kr

Skickas inom 10-15 vardagar
Rajeev Gore, Alexander Leitsch, Tobias Nipkow - Automated Reasoning, Häftad

Automated Reasoning

Av Rajeev Gore, Alexander Leitsch, Tobias Nipkow

Häftad, Engelska, 2001

1 419 kr

Skickas inom 10-15 vardagar
Georg Gottlob, Alexander Leitsch, Daniele Mundici - Computational Logic and Proof Theory, Häftad
Del 713 - Lecture Notes in Computer Science

Computational Logic and Proof Theory

Av Georg Gottlob, Alexander Leitsch, Daniele Mundici

Häftad, Engelska, 1993

719 kr

Skickas inom 10-15 vardagar
Georg Gottlob, Alexander Leitsch, Daniele Mundici - Computational Logic and Proof Theory, Häftad
Del 1289 - Lecture Notes in Computer Science

Computational Logic and Proof Theory

Av Georg Gottlob, Alexander Leitsch, Daniele Mundici

Häftad, Engelska, 1997

719 kr

Skickas inom 10-15 vardagar
Alexander Leitsch - Resolution Calculus, Häftad

Resolution Calculus

Av Alexander Leitsch

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar
Ricardo Caferra, Alexander Leitsch, Nicolas Peltier - Automated Model Building, Häftad

Automated Model Building

Av Ricardo Caferra, Alexander Leitsch, Nicolas Peltier

Häftad, Engelska, 2010

2 109 kr

Skickas inom 10-15 vardagar
Matthias Baaz, Alexander Leitsch - Methods of Cut-Elimination, Inbunden
Del 34 - Trends in Logic

Methods of Cut-Elimination

Av Matthias 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

Av Matthias Baaz, Alexander Leitsch

Häftad, Engelska, 2013

1 419 kr

Skickas inom 10-15 vardagar