1 results
13 - From the Tree Method in Modern Logic to the Beginning of Automated Theorem Proving
- from III - Discrete Mathematics, Computer Science, Numerical Methods, Logic, and Statistics
-
-
- Book:
- From Calculus to Computers
- Published by:
- Mathematical Association of America
- Published online:
- 05 January 2012
- Print publication:
- 01 June 2005, pp 149-160
-
- Chapter
- Export citation