Automated theorem proving a logical basis
by Loveland, Donald W.
Publisher: Amsterdam North-Holland Publishing 1978Edition: 1st ed.Description: xii,405p. ill. 23 cm.ISBN: 0720404991.Subject(s): Automatic theorem provingItem type | Current location | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
General Book | Central Library, BUET Circulation section | 001.535/LOV/1978 (Browse shelf) | 1 | Available | 60165 |
Includes bibliographies
There are no comments for this item.