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

Your search for David McAllester

  1. Cover: Automated Deduction - CADE-17 - Springer
    David McAllester
    Automated Deduction - CADE-17
    17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
    06/2000
    Springer
    9783540676645 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  2. Cover: Logic Programming and Automated Reasoning - Springer
    Harald Ganzinger | David McAllester | Andrei Voronkov
    Logic Programming and Automated Reasoning
    6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
    08/1999
    Springer
    9783540664925 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  3. Cover: Automated Deduction - Cade-17 - Springer
    David McAllester
    Automated Deduction - Cade-17
    01/2014
    Springer
    9783662176870 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  4. This image is currently not available.
    David McAllester
    Becoming Human Through Music
    01/1985
    Rowman & Littlefield Education
    9781578864782 (ISBN)
    Book
    Paperback/Softback
    €23.68
    Article not available