Handbook of automated reasoning /

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