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

Your search for Christoph Kreitz

  1. Cover: Automatisierte Logik - Springer Spektrum
    Christoph Kreitz
    Automatisierte Logik
    Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie
    approx. 07/2026
    Springer Spektrum
    9783662734100 (ISBN)
    Book
    Paperback/Softback
    €32.99
    Not yet published
  2. Cover: Alles auf Anfang! - Universitätsverlag Potsdam
    Laura Wagner | Elena V. Piskunova | Anna Dibiasi
    Alles auf Anfang!
    Befunde und Perspektiven zum Studieneingang
    05/2019
    Universitätsverlag Potsdam
    9783869564524 (ISBN)
    Book
    Paperback/Softback
    €13.00
    Shipment within 7-9 days
  3. This image is currently not available.
    Hanns H. Seidler | Wolfgang Lührmann | Christoph Kreitz
    Werkstattgespräch (2.) zur Verbesserung der Lehre. TH Darmstadt
    Dokumentation der Veranstaltung in der Technischen Hochschule Darmstadt am 7. Juli 1994
    1995
    Technische Uni Darmstadt
    9783886070954 (ISBN)
    Book
    Paperback/Softback
    €7.00
    Not available
  4. This image is currently not available.
    Daniel Korn
    Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik
    03/1999
    Akademische Verlagsgesellschaft AKA
    9783898381987 (ISBN)
    Book
    Paperback/Softback
    €30.00
    Article not available
  5. This image is currently not available.
    Daniel Korn
    Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik
    03/1999
    Hundt, E
    9783896011985 (ISBN)
    Other
    Undefined
    Unfortunately, price unknown
    Article not available