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

Your search for G. Wrightson

  1. Cover: Automation of Reasoning - Springer
    J. Siekmann | G. Wrightson
    Automation of Reasoning
    2: Classical Papers on Computational Logic 1967-1970
    12/2012
    1st EDN1st Edition
    Springer
    9783642819551 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: Automation of Reasoning - Springer
    J. Siekmann | G. Wrightson
    Automation of Reasoning
    2: Classical Papers on Computational Logic 1967-1970
    02/2012
    Springer
    9783642819575 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  3. Cover: Automation of Reasoning - Springer
    J. Siekmann | G. Wrightson
    Automation of Reasoning
    Classical Papers on Computational Logic 1957-1966
    01/2012
    Springer
    9783642819544 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  4. Cover: Macedon and its Influences - Peeters Publishers
    J. Reames | G. Wrightson
    Macedon and its Influences
    Narratives of Politics and War in Honor of Edward M. Anson
    12/2024
    1st EDN1st Edition
    Peeters Publishers
    9789042953147 (ISBN)
    Book
    Hardback
    Other editions
    €125.00
    Shipment within 10-20 days
  5. Cover: Automation of Reasoning - Springer
    J. Siekmann | G. Wrightson
    Automation of Reasoning
    04/1983
    Springer
    9783642819568 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  6. This image is currently not available.
    J. Siekmann | G. Wrightson
    Automation of Reasoning
    2: Classical Papers on Computational Logic 1967-1970
    04/1983
    Springer
    9783540120445 (ISBN)
    Book
    Hardback
    Other editions
    €139.09
    Exhausted; check different version
  7. This image is currently not available.
    J. Siekmann | G. Wrightson
    Automation of Reasoning
    Classical Papers on Computational Logic 1957-1966
    04/1983
    Springer
    9783540120438 (ISBN)
    Book
    Hardback
    Other editions
    €139.09
    Exhausted; check different version
  8. This image is currently not available.
    Graham Wrightson | G. Wrightson
    On Some Semantic Tableau Proof Procedures for Modal Logic
    05/1984
    VDI Verlag
    9783181430101 (ISBN)
    Book
    Paperback/Softback
    €42.32
    Article not available