Skip to Main Content
Frequently Asked Questions
Submit an ETD
Global Search Box
Need Help?
Keyword Search
Participating Institutions
Advanced Search
School Logo
Files
File List
7326820.pdf (3.43 MB)
ETD Abstract Container
Abstract Header
Clause detection in resolution theorem proving /
Author Info
Gelperin, David Hausmann
Permalink:
http://rave.ohiolink.edu/etdc/view?acc_num=osu1486741648245167
Abstract Details
Year and Degree
1973, Doctor of Philosophy, Ohio State University, Graduate School.
Abstract
Committee
Not Provided (Other)
Subject Headings
Computer Science
Keywords
Decision-making
Recommended Citations
Refworks
EndNote
RIS
Mendeley
Citations
Gelperin, D. H. (1973).
Clause detection in resolution theorem proving /
[Doctoral dissertation, Ohio State University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=osu1486741648245167
APA Style (7th edition)
Gelperin, David.
Clause detection in resolution theorem proving /.
1973. Ohio State University, Doctoral dissertation.
OhioLINK Electronic Theses and Dissertations Center
, http://rave.ohiolink.edu/etdc/view?acc_num=osu1486741648245167.
MLA Style (8th edition)
Gelperin, David. "Clause detection in resolution theorem proving /." Doctoral dissertation, Ohio State University, 1973. http://rave.ohiolink.edu/etdc/view?acc_num=osu1486741648245167
Chicago Manual of Style (17th edition)
Abstract Footer
Document number:
osu1486741648245167
Download Count:
172
Copyright Info
This document is provided by The Ohio State University for research and educational purposes, and may be under copyright by the author or the author's heirs. Please contact the ETD Center administrator at The Ohio State University
gsetd@gradsch.ohio-state.edu
with any questions or comments. In your email, be sure to include the URL and title of the specific items you are inquiring about.
This open access ETD is published by The Ohio State University and OhioLINK.