Reasoning from incomplete knowledge in a procedural deduction system / ; By Moore, Robert C.
| Copyright: | 1980 |
|---|---|
| ISBN: | 0824044037 |
| LCCN: | Q360.M665 |
| Publisher: | New York : Garland Pub., |
| Physical Details: | 112 p. : ill. ; 21 cm. |
| Notes: | Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975. |
| Record No.: | 2164 |
| Type/Format | Call Number | Location | Due Date | Last Seen | Barcode |
|---|---|---|---|---|---|
 Books |
Q360.M665 | Istituto di Ingegneria Biomedica | 2010-04-13 | LADSEB2766 |