Cover Image

Handbook of automated reasoning /

Show other versions (2)
Bibliographic Details
Other Authors: Robinson, J. A. (John Alan), Voronkov, A. (Andreĭ)
Format: Book
Language:English
Published: Amsterdam ; London : Cambridge, Mass. : Elsevier ; MIT Press, [2001]
Subjects:
Qualitative reasoning.

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: Q339.25 .H36 2001
Library Owns: Q339.25 .H36 2001 (v.1)
Call Number Status Get It
Q339.25 .H36 2001 v.1 Available