Normal view MARC view ISBD view

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
    average rating: 0.0 (0 votes)
Item type Location Call number Copy Status Date due
Livro Livro IST - Biblioteca Central
IST-Consultar BC 2
QA76.9.WOS.1279 (Browse shelf) 1 Para utilização interna
Livro 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

© 2012, Universidade de Lisboa
Todos os direitos reservados - All rights reserved