论文信息 - On Creativity in Reasoning - 字舞流文

On Creativity in Reasoning

[1] H. Gelernter,et al. Realization of a geometry theorem proving machine , 1995, IFIP Congress.

[2] M. Boden. The creative mind : myths & mechanisms , 1991 .

[3] Peter A. Flach,et al. First-Order Logic , 1989, Encyclopedia of Machine Learning.

[4] Jaakko Hintikka,et al. Logic, Language-Games And Information , 1972 .

[5] B. Russell. The Principles of Mathematics , 1938 .

[6] Jaakko Hintikka,et al. The Role of Logic in Argumentation , 1989 .

[7] Eugene Freeman,et al. The relevance of Charles Peirce , 1983 .

[8] P. Johnson-Laird. Mental Models : Towards a Cognitive Science of Language , 1983 .

[9] M. E. Szabo,et al. The collected papers of Gerhard Gentzen , 1969 .

[10] E. Feigenbaum,et al. Computers and Thought , 1963 .