 |
 |
Area della Ricerca di Padova
|
Reasoning from incomplete knowledge in a procedural deduction system /
by Moore, Robert C.
Normal View ISBD View
Series:
Outstanding dissertations in the computer science
Published by :
Garland Pub.,
(New York : )
Physical details: 112 p. : ill. ; 21 cm.
Subject(s):
Artificial intelligence
|
Knowledge, Theory of
|
Logic, Symbolic and mathematical
Year : 1980
No tags for this title.
| Item type | Location | Call Number | Copy | Status | Date Due |
|---|---|---|---|---|---|
| Books | Istituto di Ingegneria Biomedica | Q360.M665 (Browse Shelf) | 1 | Available |
Browsing Istituto di Ingegneria Biomedica Shelves Close Shelf Browser
Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975.
Important links here.
There are no comments for this item.