MPG.eBooks - Author Search Results

Cover Image

1

Theory Reasoning in Connection Calculi

by Baumgartner, Peter
Published 1998

Springer Berlin Heidelberg

Cover Image

2

Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

by Baumgartner, Peter
Published 1995

Springer

Cover Image

3

Theory Reasoning in Connection Calculi

by Baumgartner, Peter
Published 1998

Springer Berlin Heidelberg

Cover Image

4

Jurassic Sedimentary Evolution and Nappe Emplacement in the Argolis Peninsula (Peloponnesus, Greece)

by Baumgartner, Peter O.
Published 1985

Birkhäuser

Cover Image

5

Phraseological Dictionary English - German : General Vocabulary in Technical and Scientific Texts

by Kraus, Roland, Baumgartner, Peter
Published 2011

Springer Berlin Heidelberg

Cover Image

6

Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Other Authors: “...Baumgartner, Peter...”

Cover Image

7

Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Baumgartner, Peter...”