2 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
Determinants and Linear Systems: Charles L. Dodgson's View
-
- Journal:
- The British Journal for the History of Science / Volume 19 / Issue 3 / November 1986
- Published online by Cambridge University Press:
- 05 January 2009, pp. 331-335
- Print publication:
- November 1986
-
- Article
- Export citation