ISBN 9810240015 books & textbook

Collected Works of Larry Wos : Exploring the Power of Automated Reasoning (2 volume set)

World Scientific Publishing Company /2000-01-26 Hardcover / 1680 Pages
isbn-10: 9810240015 / isbn-13: 9789810240011