Larry Wos

• Automated Reasoning
• Automated reasoning and its applications
• A fascinating country in the world of computing
• Automated reasoning
• Automated reasoning
• Collected Works of Larry Wos
• The automation of reasoning
• Collected Works of Larry Wos Vol. 1
• Fascinating Country in the World of Computing, a