Handbook of automated reasoning:
Saved in:
Bibliographic Details
Format: Book
Language:English
Published: Amsterdam [u.a.] Elsevier [u.a.]
Subjects:
ISBN:Set
0444508139

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!