MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Automated Model Building

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

Springer Netherlands

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

2

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

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

3

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

Published 2001

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

4

Methods of Cut-Elimination

by Baaz, Matthias, Leitsch, Alexander
Published 2011

Springer Netherlands

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

5

The Resolution Calculus

by Leitsch, Alexander
Published 1997

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

6

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

Published 1997

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

7

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

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

8

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

by Goré, Rajeev
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”