It looks like you're offline.

Last edited anonymously

April 29, 2008 | History

Edit

Peter H. Schmitt

We need a photo of Peter H. Schmitt

5 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)

by W. Bibel and Peter H. Schmitt First published in 1899
5 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Deductive Software Verification - the KeY Book: From Theory to Practice

by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, and Peter H. Schmitt First published in 2016
2 editions

Locate

My Reading Lists:

Create a new list
Verification of Object-Oriented Software. the KeY Approach: Foreword by K. Rustan M. Leino

by Bernhard Beckert, Reiner Hähnle, and Peter H. Schmitt First published in 2007
1 edition

Locate

My Reading Lists:

Create a new list
Theorie der logischen Programmierung: Eine elementare Einführung

by Peter H. Schmitt First published in 1992
1 edition

Locate

My Reading Lists:

Create a new list
Theorie der logischen Programmierung: Eine elementare Einführung

by Peter H. Schmitt First published in 1992
1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Peter H. Schmitt

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL2784346A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON