Open Access
November 2001 - November 2003 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
Vladik Kreinovich
Rev. Mod. Log. 9(1-2): 195-202 (November 2001 - November 2003).
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.9 • No. 1-2 • November 2001 - November 2003
Back to Top