Hardback (01 Jan 1989)
Not available for sale
Includes delivery to the United States
Out of stock
The first section presents an abstract knowledge-based architecture (Socrates) which is capable of being specialized and configured for particular applications. The second reports some novel research which enlarges current theorem proving technology, and which the contributors (Dept. of Artificial Intelligence, Edinburg) feel should be incorporated
| ISBN: | 9780262100380 |
| Publisher: | MIT Press |
| Imprint: | The MIT Press |
| Pub date: | 01 Jan 1989 |
| DEWEY: | 006.3302855131 |
| DEWEY edition: | 19 |
| Language: | English |
| Number of pages: | 255 |
| Weight: | 703g |
| Height: | 278mm |
| Width: | 154mm |
| Spine width: | 20mm |
$1.38off
Paperback
Published 18 Aug 2023
Save $1.38
$3.90off
Paperback
Published 13 Jul 2023
Save $3.90
