Normal view MARC view ISBD view

Automated reasoning and its applications : essays in honor of Larry Wos / edited by Robert Veroff, with Gail W. Pieper.

Contributor(s): Wos, Larry | Veroff, Robert | Pieper, Gail W Material type: Text

TextPublication details: Cambridge, Mass. : MIT Press, c1997Description: viii, 247 p. ; 24 cmISBN: 0262220555 Subject(s): Automatic theorem provingDDC classification: 511.3 LOC classification: QA76.9.A96 | Au8 1997

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

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 2 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
ATU Book	SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY General Stacks	QA76.9.A96 Au8 1997 (Browse shelf(Opens below))	Available		0000003195

Total holds: 0

Browsing SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)

"Bibliography of Larry Wos": p. [235]-241.

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.