Artificial Intelligence, Automated Reasoning, and Symbolic Computation by Jacques Calmet | Menrva Books | MenrvaBooks