Normal view MARC view ISBD view

Handbook of automated reasoning : v. 1 /

by Robinson, J. A. (John Alan) [edt]; Voronkov, Andrei [edt].
Material type: materialTypeLabelBookPublisher: Amsterdam ; New York : Cambridge, Mass. : Elsevier ; MIT Press, c2001Description: v. 1 of 2 (xxv, 2122 p.) : ill. ; 25 cm.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).Subject(s): Automatic theorem proving | Qualitative reasoning
Tags from this library:
No tags from this library for this title.
Location Call number Status Date due
005.131 R6582 v1 (Browse shelf) Checked out 27/11/2020

Includes bibliographical references and index.