On the application of relevance measures in mechanical deduction

In Collections: Electronic Theses & Dissertations

Copyright Status: In Copyright

Material Type: Theses

Authors: Soddy, James Stephen

Date: 1982

Subjects: Artificial intelligence
Automatic theorem proving
Logic

Program of Study: Computer Science

Degree Level: Doctoral

Language: English

Pages: 1, vii, 85 i.e. 88 pages

Permalink: https://doi.org/doi:10.25335/3dyr-p158