"Computer-Aided Reasoning: An Approach"
E1130850
UNEXPLORED
"Computer-Aided Reasoning: An Approach" is a foundational book on automated and interactive theorem proving that presents methods and tools for using computers to assist in formal reasoning and proof development.
All labels observed (1)
| Label | Occurrences |
|---|---|
| "Computer-Aided Reasoning: An Approach" canonical | 2 |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.