Proving Theorems by Pattern Recognition I

Journal of Symbolic Logic 32 (1):119-120 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271272

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Hao Wang, Proving Theorems by Pattern Recognition I. [REVIEW]David C. Cooper - 1967 - Journal of Symbolic Logic 32 (1):119-120.
Wang Hao. Proving theorems by pattern recognition I. Communications of the Association for Computing Machinery, vol. 3 , pp. 220–234.Wang Hao. Proving theorems by pattern recognition—II. The Bell system technical journal, vol. 40 , pp. 1–41. [REVIEW]David C. Cooper - 1967 - Journal of Symbolic Logic 32 (1):119-120.
Review: Hao Wang, Wayne A. Kalenich, Formalization and Automatic Theorem-Proving. [REVIEW]Joyce Friedman - 1974 - Journal of Symbolic Logic 39 (2):350-350.
Hao Wang. Undecidable sentences generated by semantic paradoxes. The journal of symbolic logic, vol. 20 , pp. 31–34. Reprinted Hao Wang. as Undecidable sentences suggested by semantic paradoxes, pp. 546–558.Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):100.
Review: Hao Wang, Logic and Computers. [REVIEW]Calvin C. Elgot - 1966 - Journal of Symbolic Logic 31 (2):264-264.
Wang Hao. The formalization of mathematics.Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):290-292.
Review: Hao Wang, Symbolic Representations of Calculating Machines. [REVIEW]C. C. Elgot - 1962 - Journal of Symbolic Logic 27 (1):103-103.
Review: G. Kreisel, H. Wang, Hao Wang, Fundamenta Mathematicae. [REVIEW]G. Hasenjaeger & Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):99-101.
Wang Hao. A formal system of logic.Theodore Hailperin - 1950 - Journal of Symbolic Logic 15 (3):228-229.
Review: Hao Wang, A survey of Mathematical logic. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.

Analytics

Added to PP
2015-02-05

Downloads
17 (#213,731)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references