Collected Works of Larry Wos
Subtitle: Exploring the Power of Automated Reasoning - Applying Automated Reasoning to Puzzles, Problems, and Open Questions
Publisher: World Scientific Publishing Co Pte Ltd
Published: 2000
Language: eng
ISBN-13: 9781306000130