Search Results - Bundy, Alan

Alan Bundy

Alan Bundy Alan Richard Bundy (born 18 May 1947) is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search. Provided by Wikipedia
  • Showing 1 - 19 results of 19
Refine Results
  1. 1
    Cover Image

    Artificial Intelligence Techniques : a Comprehensive Catalogue / by Bundy, Alan

    Published 1997
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    Challenging Technolust The Educational Responsibility of Librarians / by Bundy, Alan

    Published 1999
    Full Text (via ERIC)
    Electronic eBook

    Save to List
    Saved in:
  3. 3
    Cover Image

    Information Literacy The Key Competency for the 21st Century / by Bundy, Alan

    Published 1998
    Full Text (via ERIC)
    Electronic eBook

    Save to List
    Saved in:
  4. 4
    Cover Image

    Rippling : meta-level guidance for mathematical reasoning / by Bundy, Alan

    Published 2005
    Publisher description
    Book

    Save to List
    Saved in:
  5. 5
    Cover Image

    Catalogue of artificial intelligence tools / by Bundy, Alan

    Published 1984
    Book

    Save to List
    Saved in:
  6. 6
    Cover Image

    Catalogue of artificial intelligence tools / by Bundy, Alan

    Published 1986
    Book

    Save to List
    Saved in:
  7. 7
    Cover Image

    Catalogue of Artificial Intelligence Tools / by Bundy, Alan

    Published 1984
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  8. 8
    Cover Image

    Catalogue of Artificial Intelligence Techniques / by Bundy, Alan

    Published 1990
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  9. 9
    Cover Image

    Forward with Imagination Innovative Library Client Services for the 21st Century / by Bundy, Alan

    Published 2000
    Full Text (via ERIC)
    Electronic eBook

    Save to List
    Saved in:
  10. 10
    Cover Image

    Best Value Libraries / by Bundy, Alan

    Published 2000
    Full Text (via ERIC)
    Electronic eBook

    Save to List
    Saved in:
  11. 11
    Cover Image

    Catalogue of Artificial Intelligence Tools by Bundy, Alan

    Published 1986
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  12. 12
    Cover Image

    Amalgamations and Libraries. A Study of the Effect on British Polytechnic Libraries of Institutional Amalgamations with Derived Guidelines for Amalgamating Victorian and Other Aust... by Bundy, Alan L.

    Published 1981
    Request ERIC Document
    Microfilm Book

    Save to List
    Saved in:
  13. 13
    Cover Image

    Catalogue of artificial intelligence techniques /

    Published 1990
    Other Authors: “…Bundy, Alan…”
    Book

    Save to List
    Saved in:
  14. 14
    Cover Image

    Automated Deduction -- CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 Proceedings /

    Published 1994
    Other Authors: “…Bundy, Alan…”
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  15. 15
    Cover Image

    Automated Deduction -- CADE-12 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 Proceedings /

    Published 1994
    Other Authors: “…Bundy, Alan…”
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  16. 16
    Cover Image

    Garbage In Garbage Out. The Need for Quality in the Age of Automation. Proceedings of the Australian Library and Information Association National Cataloguing Conference (8th, North...

    Published 1990
    Other Authors: “…Bundy, Alan…”
    Full Text (via ERIC)
    Electronic eBook

    Save to List
    Saved in:
  17. 17
    Cover Image

    Rob Milne : a tribute to a pioneering AI scientist, entrepreneur and mountaineer /

    Published 2006
    Other Authors: “…Bundy, Alan…”
    Full Text (via ProQuest)
    eBook

    Save to List
    Saved in:
  18. 18
    Cover Image

    Garbage in, garbage out : the need for quality in the age of automation : Australian Library and Information Association, 8th National Cataloguing Conference, 14-16 September 1989,...

    Published 1990
    Other Authors: “…Bundy, Alan L.…”
    Conference Proceeding Book

    Save to List
    Saved in:
  19. 19
    Cover Image

    Rippling : meta-level guidance for mathematical reasoning /

    Published 2005
    Other Authors: “…Bundy, Alan…”
    Full Text (via Cambridge)
    Electronic eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search