Collected Works of Larry Wos 
Subtitle: Exploring the Power of Automated Reasoning (2 volume set)
Publisher: World Scientific Publishing Company
Published: March 2001
Language: eng
Format: Hardcover
Number of pages: 1600
ISBN-13: 9789810240011
Subjects: Artificial intelligence; Mathematics; Computers - General Information; Science/Mathematics; General; Applied