Handbook of automated reasoning / editors, Alan Robinson and Andrei Voronkov. Vol. 1.

Saved in:
Bibliographic Details
Other Authors: Robinson, J. A. (John Alan), Voronkov, A. (Andreı̆)
Format: Book
Published: Amsterdam ; London : Elsevier, 2001.
Tags: Add Tag
No Tags, Be the first to tag this record!

Pilkington Library - Pilkington Main Collection

Call Number: 006.333/HAN
Copy [040285618X] Available