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

Your search for Jörg H. Siekmann

  1. Cover: Computational Logic - Elsevier
    Dov M. Gabbay | Jörg H. Siekmann | John Woods
    Computational Logic
    12/2014
    Elsevier
    9780080930671 (ISBN)
    E-Book
    PDF
    Other editions
    €205.00
    Available for download
  2. Cover: 8th International Conference on Automated Deduction - Springer
    Jörg H. Siekmann
    8th International Conference on Automated Deduction
    Oxford, England, July 27- August 1, 1986. Proceedings
    07/1986
    Springer
    9783540167808 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  3. This image is currently not available.
    Claus Sengler
    Induction on Non-Freely Generated Data-Types
    07/1997
    Akademische Verlagsgesellschaft AKA
    9783898381604 (ISBN)
    Book
    Paperback/Softback
    €35.00
    Article not available
  4. This image is currently not available.
    Con Hoo-min D. Toong | Amar Gupta | Abraham Peled
    Computer Systeme
    03/1989
    2nd EDN2nd Edition
    Spektrum der Wissenschaft
    9783922508519 (ISBN)
    Book
    Paperback/Softback
    Unfortunately, price unknown
    Exhausted; no reprint
  5. This image is currently not available.
    Xiaorong Huang
    Human Oriented Proof Presentation: A Reconstructive Approach
    1996
    Akademische Verlagsgesellschaft AKA
    9783898381123 (ISBN)
    Book
    Paperback/Softback
    €25.00
    Article not available
  6. This image is currently not available.
    Claus Sengler
    Induction on Non-Freely Generated Data-Types
    07/1997
    Hundt, E
    9783896011602 (ISBN)
    Other
    Undefined
    Unfortunately, price unknown
    Article not available
  7. This image is currently not available.
    Klaus Fischer
    Verteiltes und kooperatives Planen in einer flexiblen Fertigungsumgebung
    1993
    Akademische Verlagsgesellschaft AKA
    9783932792267 (ISBN)
    Book
    Paperback/Softback
    €25.00
    Article not available
  8. This image is currently not available.
    Xiaorong Huang
    Human Oriented Proof Presentation: A Reconstructive Approach
    1996
    Hundt, E
    9783896011121 (ISBN)
    Other
    Undefined
    Unfortunately, price unknown
    Article not available
  9. This image is currently not available.
    Klaus Fischer
    Verteiltes und kooperatives Planen in einer flexiblen Fertigungsumgebung
    1993
    Hundt, E
    9783929037265 (ISBN)
    Other
    Undefined
    Unfortunately, price unknown
    Article not available