Automatic Theorem Proving in the Predicate Calculus
Author:
James Clifford Beisaw
Name Change:
Major:
Computer Science
Graduation Year:
1982
Thesis Advisor:
Edward S. Northam
Description of Publication:
Location of Publication:
- fogler
- reynolds
URL to Thesis: