Automation of reasoning/ edited by Jörg Siekmann and Graham Wrightson.

Contributor(s):

Publication details: Berlin: New York: Springer, 1983.Description: 2 v.: ill.; 25 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	Vol info	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	001.535 A939 1983 IMPA (Browse shelf(Opens below))	1	1	Available		39063000164288
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	001.535 A939 1983 IMPA (Browse shelf(Opens below))	2	1	Available		39063000164270

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available			No cover image available No cover image available	Next
Previous	001.535 A791 1979 IMPA Artificial intelligence, an MIT perspective/	001.535 A791 1979 IMPA Artificial intelligence, an MIT perspective/	001.535 A939 1983 IMPA Automation of reasoning/	001.535 A939 1983 IMPA Automation of reasoning/	001.535 B215t 1969 IMPA Theory of problem solving: an approach to artificial intelligence/	001.535 B215t 1969 IMPA Theory of problem solving: an approach to artificial intelligence/	001.535 C738 1963 IMPA Computers and thought/	Next

Includes bibliographical references.

There are no comments on this title.

to post a comment.