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
9111716.pdf (5.83 MB)
ETD Abstract Container
Abstract Header
Improvements in CAD-based quantifier elimination /
Author Info
Hong, Hoon
Permalink:
http://rave.ohiolink.edu/etdc/view?acc_num=osu1487684245468432
Abstract Details
Year and Degree
1990, Doctor of Philosophy, Ohio State University, Graduate School.
Abstract
Committee
Not Provided (Other)
Subject Headings
Computer Science
Recommended Citations
Refworks
EndNote
RIS
Mendeley
Citations
Hong, H. (1990).
Improvements in CAD-based quantifier elimination /
[Doctoral dissertation, Ohio State University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487684245468432
APA Style (7th edition)
Hong, Hoon.
Improvements in CAD-based quantifier elimination /.
1990. Ohio State University, Doctoral dissertation.
OhioLINK Electronic Theses and Dissertations Center
, http://rave.ohiolink.edu/etdc/view?acc_num=osu1487684245468432.
MLA Style (8th edition)
Hong, Hoon. "Improvements in CAD-based quantifier elimination /." Doctoral dissertation, Ohio State University, 1990. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487684245468432
Chicago Manual of Style (17th edition)
Abstract Footer
Document number:
osu1487684245468432
Download Count:
256
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.