Item Description

Show full item record

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
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 PDF View/Open
For UH users only uhm_phd_9629830_uh.pdf 3.321Mb PDF View/Open

This item appears in the following Collection(s)


Advanced Search


My Account