Showing 1 - 3 results of 3 for search 'Loveland, Donald W.', query time: 0.02s Refine Results
  1. 1
    Three Views of Logic : Mathematics, Philosophy, and Computer Science.

    Three Views of Logic : Mathematics, Philosophy, and Computer Science. by Loveland, Donald W.

    Published 2014
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Three Views of Logic : Mathematics, Philosophy, and Computer Science.

    Three Views of Logic : Mathematics, Philosophy, and Computer Science. by Loveland, Donald W.

    Published 2014
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.

    Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.

    Published 1984
    Other Authors:
    Full text (Wentworth users only)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:

Search Tools: