- ScholarSpace Home
- →
- Dissertations & Theses
- →
- Mathematics
- →
- Ph.D. - Mathematics
- →
- View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Item Description
| Title: | Automated reasoning and machine learning |
| Author: | Huang, Guoxiang |
| Date: | 1996 |
| Description: | Thesis (Ph. D.)--University of Hawaii at Manoa, 1996.
Includes bibliographical references (leaves 140-144). Microfiche. x, 144 leaves, bound ill. 29 cm |
| URI: | http://hdl.handle.net/10125/9963 |
| Rights: | All UHM dissertations and theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission from the copyright owner. |
| Keywords: | Automatic theorem proving, Logic, Symbolic and mathematical, Artificial intelligence |
Item File(s)
| Description | Files | Size | Format | View |
|---|---|---|---|---|
| Restricted for viewing only | uhm_phd_9629830_r.pdf | 3.366Mb |
View/ |
|
| For UH users only | uhm_phd_9629830_uh.pdf | 3.321Mb |
View/ |