11 results
Type of media (3)
Availability (2)
Language (3)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
11 results

Your search for Peter H. Schmitt

  1. Cover: Theorie der logischen Programmierung - Springer
    Peter H. Schmitt
    Theorie der logischen Programmierung
    Eine elementare Einführung
    03/2013
    Springer
    9783642776571 (ISBN)
    E-Book
    PDF
    Other editions
    €38.66
    Available for download
  2. Cover: Deductive Software Verification - The KeY Book - Springer
    Wolfgang Ahrendt | Bernhard Beckert | Richard Bubel
    Deductive Software Verification - The KeY Book
    From Theory to Practice
    12/2016
    Springer
    9783319498126 (ISBN)
    E-Book
    PDF
    Other editions
    €117.69
    Available for download
  3. Cover: Deductive Software Verification - The KeY Book - Springer
    Wolfgang Ahrendt | Bernhard Beckert | Richard Bubel
    Deductive Software Verification - The KeY Book
    From Theory to Practice
    12/2016
    Springer
    9783319498119 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €128.39
    Shipment within 10-15 days
  4. Cover: Verification of Object-Oriented Software. The KeY Approach - Springer
    Bernhard Beckert | Reiner Hähnle | Peter H. Schmitt
    Verification of Object-Oriented Software. The KeY Approach
    Foreword by K. Rustan M. Leino
    01/2007
    Springer
    9783540689775 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  5. Cover: Theorie der logischen Programmierung - Springer
    Peter H. Schmitt
    Theorie der logischen Programmierung
    Eine elementare Einführung
    09/1992
    1st EDN1st Edition
    Springer
    9783540557029 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €54.99
    Shipment within 10-15 days
  6. Cover: Nonmonotonic and Inductive Logic - Springer
    Gerhard Brewka | Klaus P. Jantke | Peter H. Schmitt
    Nonmonotonic and Inductive Logic
    01/2014
    Springer
    9783662203354 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  7. Cover: Nonmonotonic and Inductive Logic - Springer
    Gerhard Brewka | Klaus P. Jantke | Peter H. Schmitt
    Nonmonotonic and Inductive Logic
    Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
    02/1993
    Springer
    9783540564331 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Nonmonotonic and Inductive Logic - Springer
    Klaus P. Jantke | Peter H. Schmitt
    Nonmonotonic and Inductive Logic
    1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings
    09/1991
    Springer
    9783540545644 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  9. This image is currently not available.
    Peter H. Schmitt
    The Network
    08/2013
    3 Big Cats Publishing
    9780982947012 (ISBN)
    Book
    Paperback/Softback
    €38.40
    Shipment within 3-4 weeks
  10. This image is currently not available.
    Joachim Posegga
    Deduktion mit Shanongraphen für Prädikatenlogik erster Stufe
    1993
    Akademische Verlagsgesellschaft AKA
    9783932792519 (ISBN)
    Book
    Paperback/Softback
    €25.00
    Article not available
  11. This image is currently not available.
    Joachim Posegga
    Deduktion mit Shanongraphen für Prädikatenlogik erster Stufe
    1993
    Hundt, E
    9783929037517 (ISBN)
    Other
    Undefined
    Unfortunately, price unknown
    Article not available