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						Next
Previous	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	QA76.9.C55 D585 2008 004/.36 Microsoft SQL server 2005 compact edition	Next

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Back to results

Find us on the map