MPG.eBooks - Author Search Results

Cover Image

1

The Resolution Calculus

by Leitsch, Alexander
Published 1997

Springer Berlin Heidelberg

Cover Image

2

Methods of Cut-Elimination

by Baaz, Matthias, Leitsch, Alexander
Published 2011

Springer Netherlands

Cover Image

3

Automated Model Building

by Caferra, Ricardo, Leitsch, Alexander, Peltier, Nicolas
Published 2004

Springer Netherlands

Cover Image

4

Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

by Gottlob, Georg
Published 1997

Springer Berlin Heidelberg

Other Authors: “...Leitsch, Alexander...”

Cover Image

5

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

by Goré, Rajeev
Published 2001

Springer-Verlag Berlin Heidelberg

Other Authors: “...Leitsch, Alexander...”

Cover Image

6

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

by Gottlob, Georg
Published 1993

Springer

Other Authors: “...Leitsch, Alexander...”

Cover Image

7

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

Other Authors: “...Leitsch, Alexander...”

Cover Image

8

Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Other Authors: “...Leitsch, Alexander...”

Cover Image

9

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

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Leitsch, Alexander...”