Skip to:Content
|
Bottom
Cover image for Handbook of automated reasoning
Title:
Handbook of automated reasoning
Author:
Robinson, J. A. (John Alan)
ISBN:
9780444508133
Publication Information:
Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, c2001.
Physical Description:
1 online resource (2 v. (xxv, 2122 p.)) : ill.
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 253802-1001 ONLINE
Searching...

On Order

Go to:Top of Page