Handbook of Automated Reasoning (2 Volume Set) September 2001 Artificial Intelligence - General; Computer Science; Logic; Computers / Computer Science; Computers… ISBN 0262182238 View on Amazon Lists featuring this book (1)
