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

Includes bibliographical references.

There are no comments on this title.

to post a comment.