MSU Libraries
Digital Repository
Home
About
Collections
Selected facets
Subject: Automatic theorem proving
×
Collection
Electronic Theses & Dissertations
1
Material Type
Theses
1
Language
English
1
Copyright Status
In Copyright
1
Subject
Artificial intelligence
1
Logic
1
Search results for
Showing 1 to 1 of 1 results
Results per page
20
50
100
Sort by
Most Relevant
Title (A-Z)
Title (Z-A)
Date (Newest)
Date (Oldest)
Most Recent
Least Relevant
On the application of relevance measures in mechanical deduction
Soddy, James Stephen
Text (1982)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last
