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
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 253802-1001 | ONLINE | | Elektronik Kütüphane |