Image from Google Jackets

Normal view MARC view ISBD view

Automated reasoning and its applications essays in honor of Larry Wos Robert Veroff

By:

Veroff, Robert

Material type: Text

Text

TextPublication details: London MIT Press 1997Description: viii, 247ISBN:

262220555

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 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Library and Documentation Division	511.3 Au82 (Browse shelf(Opens below))	Available		047516

There are no comments on this title.

to post a comment.

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

© Prof. G Ram Reddy Centre Library, Indira Gandhi National Open University, Maidan Garhi, New Delhi, 110068
+91-011-29532797 | FAX+91-011-29533393 |

Powered by Koha