Item Description

Show full item record

Title: A computer model for axiomatic systems 
Author: Ibrahim, Rosalind L
Date: 1977
Description: Typescript. Thesis (Ph. D.)--University of Hawaii at Manoa, 1977. Bibliography: leaves 172-175. Microfiche. vii, 175 leaves ill
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, Problem solving, Artificial intelligence, Logic, Symbolic and mathematical

Item File(s)

Description Files Size Format View
Restricted for viewing only uhm_phd_7801048_r.pdf 4.437Mb PDF View/Open
For UH users only uhm_phd_7801048_uh.pdf 4.390Mb PDF View/Open

This item appears in the following Collection(s)


Advanced Search


My Account