Reviews matching “A Fascinating Country in the World of Computing -- Your Guide to Automated Reasoning”

1 result

BookAuthorReviewerJournalDate
A Fascinating Country in the World of Computing -- Your Guide to Automated Reasoning Larry Wos Robert K Meyer The Bulletin of Symbolic Logic 2007-09-01

Open this search with filters