Automated reasoning: introduction and applications/ Larry Wos ... [et al.].

Contributor(s):

Publication details: Englewood Cliffs, N.J.: Prentice-Hall, c1984.Description: xiv, 482 p.: ill.; 24 cmISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	006.3 A939 1984 IMPA (Browse shelf(Opens below))	1	Available		39063000164569

Previous							No cover image available	Next
Previous	006.3 A244 1996 IMPA Advances in artificial intelligence: 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings/	006.3 A791 1987 IMPA Artificial intelligence II: methodology, systems, applications : proceedings of the second International Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA '86) Vama, Bulgaria, 16-19 September, 1986/	006.3 A894n 1996 IMPA Neural networks and qualitative physics/	006.3 A939 1984 IMPA Automated reasoning: introduction and applications/	006.3 B215a 1980 IMPA Artificial intelligence: a theoretical approach/	006.3 B458m 1996 IMPA Mathematical methods in artificial intelligence/	006.3 B624i 1996 IMPA Inteligência artificial: Ferramentas e teorias/	Next

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.