The Locator -- [(author = "Chiang Sheng")]
24
records matched your query
Record 9 |
Previous Record
|
MARC Display
|
Next Record
|
Search Results
Author:
Chiang, Sheng-Feng.
Title:
A new method based on boolean ring in theorem proving /
by Sheng-Feng Chiang.
Publisher:
publisher not identified,
Copyright Date:
1993
Description:
vi, 62 leaves, bound : illustrations ; 28 cm
Subject:
Automatic theorem proving.
Boolean rings.
Notes:
Typescript (photocopy). Includes bibliographical references (leaves 61-62). M.S. University of Iowa 1993
OCLC:
(OCoLC)30944276
Locations:
OVUX522 --
University of Iowa Libraries
(Iowa City)
Initiate Another SILO Locator Search
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.