Fascinating Country in the World of Computing, a: Your Guide to Automated Reasoning - Wos Larry & Pieper Gail W (World Scientific, 1999)
Keywords: Computer Science