ISBN 9789810240011 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
World Scientific Publishing Company /2000-01-26 Hardcover / 1680 Pages
isbn-10: 9810240015 / isbn-13: 9789810240011