Handbook of automated reasoning

Handbook of automated reasoning

Saved in:
Bibliographic Details
Other Authors: Robinson, J. A. (John Alan), Voronkov, A. 1959- (Andre?i)
Format: Book
Published: Amsterdam New York Cambridge, Mass. Elsevier MIT Press 2001
Subjects:
Qualitative reasoning
Automatic theorem proving
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:2 v. (2122 p.) ill. 25 cm
Bibliography:Includes bibliographical references and index
ISBN:0262182211 (MIT Press, v. 1 : alk. paper)
026218222X (MIT Press, v. 2 : alk. paper)
0262182238 (MIT Press, set of vol 1 + 2 : alk. paper)
0444829490 (Elsevier Science, v. 1 : alk. paper
0444508120 (Elsevier Science, v. 2 : alk. paper)
0444508139 (Elsevier Science, set of v. 1 + 2 : alk. paper)

Similar Items