MPG.eBooks - Author Search Results

Cover Image

1

Extensions of Logic Programming : International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

by Schroeder-Heister, Peter
Published 1991

Springer

Cover Image

2

Extensions of Logic Programming : International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings

Published 1991

Springer Berlin Heidelberg

Other Authors: “...Schroeder-Heister, Peter...”

Cover Image

3

Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

by Kahle, Reinhard
Published 2001

Springer-Verlag Berlin Heidelberg

Other Authors: “...Schroeder-Heister, Peter...”

Cover Image

4

Advances in Proof-Theoretic Semantics

Published 2016

Springer International Publishing

Other Authors: “...Schroeder-Heister, Peter...”

Cover Image

5

Extensions of Logic Programming : 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

by Dyckhoff, Roy
Published 1996

Springer

Other Authors: “...Schroeder-Heister, Peter...”

Cover Image

6

Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Schroeder-Heister, Peter...”

Cover Image

7

The Logical Writings of Karl Popper

Published 2022

Springer International Publishing

Other Authors: “...Schroeder-Heister, Peter...”

Cover Image

8

Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Schroeder-Heister, Peter...”

Cover Image

9

Extensions of Logic Programming : Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

Published 1992

Springer Berlin Heidelberg

Other Authors: “...Schroeder-Heister, Peter...”