Cover Image

Handbook of automated reasoning /

Show other versions (3)
Bibliographic Details
Other Authors: Robinson, J. A. (John Alan), Voronkov, Andrei, 1959-
Format: eBook
Language:English
Published: Amsterdam ; New York : Cambridge, Mass. : Elsevier ; MIT Press, [2001]
Subjects:
Automatic theorem proving.
Qualitative reasoning.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:2 volumes (xxv, 2122 pages) : illustrations ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:9780444508133
0444508139