Image from Google Jackets

Normal view MARC view ISBD view

Handbook of practical logic and automated reasoning John Harrison

By:

Harrison, John

Material type: Text

Text

TextPublication details: Cambridge Cambridge University Press 2009Description: xi, 681pISBN:

9780521899574

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	006.333 H245H (Browse shelf(Opens below))	Available		076561

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