Automated reasoning :
Authors: Wos, Larry | Overbeek, Ross | Lusk, Ewing | Boyle, Jim Published by : Prentice-Hall, (Englewood Cliffs, N.J :) Physical details: xiv, 482 p : ill ; 24 cm ISBN: 0130544531; 0130544469 . Subject(s): Automatic theorem proving | Artificial intelligence | Electronic digital computers --Programming Year: 1984| Item type | Location | Call number | Copy | Status | Date due |
|---|---|---|---|---|---|
 Livro |
IST - Biblioteca Central IST-Consultar BC 2 | QA76.9.WOS.1279 (Browse shelf) | 1 | Para utilização interna | |
| Livro |
IST - Biblioteca de Elect.Comp. e Inf. IST-Bib Electricidade | QA76.9.A.238.GIA (Browse shelf) | 0 | Available |
Includes bibliographical references and index
Click on an image to view it in the image viewer
