A fascinating country in the world of computing: your guide to automated reasoning

The menu, the map, and the magic learning logic by example automated reasoning in full logic circuit design logic circuit validation research in mathematics research in formal logic the formal treatment of automated reasoning Wos's biased guide for the effective use of OTTER an author's appraisal of his papers open questions, hard problems, intriguing challenges epilogue and after-dinner liqueur.