Handbook of automated reasoning
by
 
Robinson, J. A. (John Alan)

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.

Subject Term
: 
Automatic theorem proving.
 
Qualitative reasoning.

Added Author
: 
Robinson, J. A. (John Alan)
 
Voronkov, Andrei, 1959-

Electronic Access
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780444508133


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book253802-1001ONLINEElektronik Kütüphane