Search Results - "Automatic theorem proving"

Suggested Topics within your search.
  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    The computer modelling of mathematical reasoning

    The computer modelling of mathematical reasoning by Bundy, Alan

    Published 1983
    Subjects:
    Book

    Save to List
    Saved in:

Search Tools: