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

Your search for Alan Bundy

  1. Cover: Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge University Press
    Alan Bundy | David Basin | Dieter Hutter
    Rippling: Meta-Level Guidance for Mathematical Reasoning
    Meta-Level Guidance for Mathematical Reasoning
    09/2005
    1st EDN1st Edition
    Cambridge University Press
    9780511111853 (ISBN)
    E-Book
    PDF
    Other editions
    €91.99
    Available for download
  2. Cover: Catalogue of Artificial Intelligence Techniques - Springer
    Alan Bundy
    Catalogue of Artificial Intelligence Techniques
    02/2012
    3rd EDN3rd Edition
    Springer
    9783642972782 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  3. Cover: Artificial Intelligence Techniques - Springer
    Alan Bundy
    Artificial Intelligence Techniques
    A Comprehensive Catalogue
    12/1996
    4th EDN4th Edition
    Springer
    9783540593232 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  4. Cover: Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge University Press
    Alan Bundy | David Basin | Dieter Hutter
    Rippling: Meta-Level Guidance for Mathematical Reasoning
    Meta-Level Guidance for Mathematical Reasoning
    06/2005
    Cambridge University Press
    9780521834490 (ISBN)
    Book
    Hardback
    Other editions
    €158.30
    Shipment within 15-20 days
  5. Cover: Automated Deduction - CADE-12 - Springer
    Alan Bundy
    Automated Deduction - CADE-12
    12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings
    06/1994
    Springer
    9783540581567 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  6. Cover: Catalogue of Artificial Intelligence Tools - Springer
    Alan Bundy
    Catalogue of Artificial Intelligence Tools
    08/1986
    2nd EDN2nd Edition
    Springer
    9783540168935 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €85.55
    Exhausted; check for reprint
    New edition available
  7. This image is currently not available.
    Alan Bundy
    Catalogue of Artificial Intelligence Techniques
    12/1990
    3rd EDN3rd Edition
    Springer
    9783540529590 (ISBN)
    Book
    Hardback
    Other editions
    €112.34
    Exhausted; check for reprint
    New edition available
  8. This image is currently not available.
    Alan Bundy
    The Computer Modelling of Mathematical Reasoning
    10/1997
    Academic Press
    9780121412500 (ISBN)
    Book
    Hardback
    €45.19
    Exhausted; no reprint
  9. This image is currently not available.
    Alan Bundy
    The Computer Modelling of Mathematical Reasoning
    07/1997
    Academic Press
    9780121412524 (ISBN)
    Book
    Paperback/Softback
    €29.10
    Exhausted; no reprint
  10. This image is currently not available.
    Automated Deduction - Cade-12
    12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings
    07/1994
    Springer
    9780387581569 (ISBN)
    Book
    Paperback/Softback
    €118.67
    Article not available
  11. This image is currently not available.
    Alan Bundy
    Catalogue of Artificial Intelligence Tools
    09/1986
    2nd EDN2nd Edition
    Springer
    9780387168937 (ISBN)
    Book
    Paperback/Softback
    €27.32
    No shipping information available
  12. This image is currently not available.
    Alan Bundy | R. Burstall
    Artificial Intelligence
    An Introductory Course
    01/1984
    Edinburgh University Press
    9780852244104 (ISBN)
    Book
    Paperback/Softback
    €12.38
    Exhausted; no reprint
  13. This image is currently not available.
    Alan Bundy
    Catalogue of Artificial Intelligence Tools
    11/1984
    Springer
    9780387139388 (ISBN)
    Book
    Hardback
    €27.32
    No shipping information available