A Fascinating Country in the World of Computing Your Guide to Automated Reasoning

(Author: Larry Wos)