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 - 3 results of 3
Refine Results
  1. 1
    The computer modelling of mathematical reasoning

    The computer modelling of mathematical reasoning by Bundy, Alan

    Published 1983
    Book

    Save to List
    Saved in:
  2. 2
    Australian libraries : the essential directory /

    Australian libraries : the essential directory / by Bundy, Alan

    Published 1988
    Book

    Save to List
    Saved in:
  3. 3
    Directory of Australian academic libraries /

    Directory of Australian academic libraries /

    Published 1985
    Other Authors: “…Bundy, Alan L…”
    Book

    Save to List
    Saved in:

Search Tools: