MPG.eBooks - Author Search Results

Cover Image

1

Theorie der logischen Programmierung : Eine elementare Einführung

by Schmitt, Peter H.
Published 1992

Springer Berlin Heidelberg

Cover Image

2

Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Other Authors: “...Schmitt, Peter H....”

Cover Image

3

Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Schmitt, Peter H....”

Cover Image

4

Nonmonotonic and Inductive Logic : Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings

Published 1993

Springer Berlin Heidelberg

Other Authors: “...Schmitt, Peter H....”