Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches.
Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content.
Contact customer_support@projecteuclid.org with any questions.
View Project Euclid Privacy Policy
November 2001 - November 2003Review: The Collected Works of Larry Wos, Volume I, Exploring the Power of Automated Reasoning, and Volume II, Applying Automated Reasoning to Puzzles, Problems, and Open Questions, edited by Larry Wos and Gail W. Pieper
Vladik Kreinovich
Rev. Mod. Log. 9(1-2): 195-202 (November 2001 - November 2003).
Vladik Kreinovich "Review: The Collected Works of Larry Wos, Volume I, Exploring the Power of Automated Reasoning, and Volume II, Applying Automated Reasoning to Puzzles, Problems, and Open Questions, edited by Larry Wos and Gail W. Pieper," Review of Modern Logic, Rev. Mod. Log. 9(1-2), 195-202, (November 2001 - November 2003)