Handbook of automated reasoning editors, Alan Robinson and Andrei Voronkov

Contributor(s):

Publication details: Amsterdam ; New York ; Cambridge, MA Elsevier, MIT Press c2001Description: 2 v. (xxv, 2122 p.) : ill. ; 25 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	QA76.9.A96 H35 2001 511.3 (Browse shelf(Opens below))	Available		291241
Anna Centenary Library	QA76.9.A96 H35 2001 511.3 (Browse shelf(Opens below))	Available		550391

Previous	No cover image available		No cover image available					Next
Previous	QA76.9.A43 G87 1997 005.7/3 Algorithms on strings, trees, and sequences : computer science and computational biology	QA76.9.A73 B82 2008 004.2/2 Implementing SOA : total architecture in practice	QA76.9.A73 E753 2005 004.36 Service-oriented architecture : concepts, technology, and design	QA76.9.A96 H35 2001 511.3 Handbook of automated reasoning	QA76.9.A96 H35 2001 511.3 Handbook of automated reasoning	QA76.9.C55 A834 2008 005.2/768 Pro SQL server 2008 service broker	QA76.9.C55 A834 2008 005.2/768 Pro SQL server 2008 service broker	Next

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map