Handbook of Automated Reasoning
E312856
UNEXPLORED
The "Handbook of Automated Reasoning" is a comprehensive reference work that surveys the theories, methods, and tools used in the field of automated theorem proving and formal reasoning in computer science and logic.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.