7 results
Availability (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
7 results

Your search for P.H. Schmitt

  1. Cover: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Springer
    Wolfgang Bibel | P.H. Schmitt
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
    12/2010
    Springer
    9789048150502 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €212.50
    Shipment within 15-20 days
  2. Cover: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Springer
    Wolfgang Bibel | P.H. Schmitt
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
    12/2010
    Springer
    9789048150526 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €160.49
    Shipment within 15-20 days
  3. Cover: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Springer
    Wolfgang Bibel | P.H. Schmitt
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
    12/2010
    Springer
    9789048150519 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €213.99
    Shipment within 15-20 days
  4. Cover: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Kluwer Academic Publishers
    Wolfgang Bibel | P.H. Schmitt
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
    06/1998
    Kluwer Academic Publishers
    9780792351313 (ISBN)
    Book
    Hardback
    Other editions
    €160.49
    Shipment within 15-20 days
  5. Cover: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Kluwer Academic Publishers
    Wolfgang Bibel | P.H. Schmitt
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
    06/1998
    Kluwer Academic Publishers
    9780792351290 (ISBN)
    Book
    Hardback
    Other editions
    €213.99
    Shipment within 15-20 days
  6. Cover: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Kluwer Academic Publishers
    Wolfgang Bibel | P.H. Schmitt
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
    06/1998
    Kluwer Academic Publishers
    9780792351306 (ISBN)
    Book
    Hardback
    Other editions
    €213.99
    Shipment within 15-20 days
  7. This image is currently not available.
    Wolfgang Bibel | P.H. Schmitt
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
    06/1998
    Kluwer Academic Publishers
    9780792351320 (ISBN)
    Book
    Hardback
    €415.50
    Exhausted, reprint undefined