skip to content
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.

Automated reasoning and its applications : essays in honor of Larry Wos
ClosePreview this item

Automated reasoning and its applications : essays in honor of Larry Wos

Author: Larry Wos; Robert Veroff; Gail W Pieper
Publisher: Cambridge, Mass. : MIT Press, ©1997.
Edition/Format: Book : English
Rating:

Retrieving ratings and reviews data...  

 

Find a copy in the library

Retrieving... Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Larry Wos; Robert Veroff; Gail W Pieper
ISBN: 0262220555 9780262220552
OCLC Number: 36103675
Notes: "Bibliography of Larry Wos": p. [235]-241.
Description: viii, 247 p. ; 24 cm.
Responsibility: edited by Robert Veroff, with Gail W. Pieper.

Reviews

Retrieving WorldCat reviews...
Retrieving EMRO reviews...
Retrieving weRead reviews...
Retrieving GoodReads reviews...
Retrieving Amazon reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.