Automated theorem proving : a logical basis / ; By Loveland, Donald W.
| Copyright: | 1978 |
|---|---|
| ISBN: | 0720404991 |
| Publisher: | Amsterdam : North-Holland, |
| Physical Details: | XII, 405 p. : ill. ; 23 cm. |
| Record No.: | 1226 |
| Type/Format | Call Number | Location | Due Date | Last Seen | Barcode |
|---|---|---|---|---|---|
 Books |
QA76.9.A96L68 | Istituto di Ingegneria Biomedica | 2010-04-13 | LADSEB1620 |