Input transformations and resolution implementation techniques for theorem proving in first-order logic
By: by Steven Greenbaum.
Series: Report / Department of Computer Science, University of Illinois at Urbana-Champaign ;; no. UIUCDCS-R-86-1298; Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) ;; no. UIUCDCS-R-86-1298.
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1986
Place of publication: Urbana, Ill
Language: eng
Number of pages: 248
Subjects: Automatic theorem proving.; Logic, Symbolic and mathematical.
Notes: Bibliography: p. 243-247.
Thesis (Ph. D.)--University of Illinois at Urbana-Champaign, 1986.
"September 1986"--Cover.
"UILU-ENG-86-1761"--Cover.