Cooper, D. C. Theorem proving in arithmetic without multiplication. (English) Zbl 0258.68046 Machine Intell. 7, 91-99 (1972). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 33 Documents MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) 03F99 Proof theory and constructive mathematics PDF BibTeX XML Cite \textit{D. C. Cooper}, Mach. Intell. 7, 91--99 (1972; Zbl 0258.68046)