Referenze Bibliografiche
[1] K. APPEL - W. HAKEN, Il problema dei quattro colori, Le Scienze, 113 (1978).
[2] A. BUNDY, L’Automazione del Ragionamento Matematico, F. Muzzio Editore, Padova (1986).
[3]
B. CIPRA,
As easy as EQP, in
What’s Happening in the Mathematical Sciences (
American Mathematical Society) (
1998/99), 58-72. |
Zbl 0858.00004[4] H. GELERNTER - J. R. HANSEN - D. W. LOVELAND, Empirical explorations of the Geometry Theorem Proving Machine, Computers and Thought, ed. E. A. Feigenbaum e J. Feldman, McGraw-Hill, New York (1963).
[5]
D. B. LENAT,
Automated theory formation in mathematics,
Proceedings of IJCAI-77 (
1977), 833-842. |
Zbl 0563.68073[6] D. B. LENAT, AM: An artificial intelligence approach to discovery in mathematics as heuristic search, Knowledge-Based Systems in Artificial Intelligence, ed. R. Davis e D. B. Lenat, McGraw-Hill, New York (1982).
[7] D. B. LENAT, Theory formation by euristic search – the nature of euristics II: background and examples, Artificial Intelligence, 21 (1983), 31-59.
[8] A. NEWELL - J. C. SHAW - H. A. SIMON, Empirical explorations with the Logic TheoryMachine: a case study in heuristics, Computers and Thought, E. A. Feigenbaum e J. Feldman, McGraw-Hill, New York (1963).
[9] E. RICH - K. KNIGHT, Intelligenza Artificiale, 2a ed., McGraw-Hill Italia, Milano (1992).
[10] G. D. RITCHIE - F. K. HANNA, AM: A case study in AI methodology, Artificial Intelligence, 23 (1984), 249-268.
[11]
A. J. ROBINSON,
A machine oriented logic based on the resolution principle,
J. Assoc. Comput. Mach.,
12 (
1965), 23-41. |
MR 170494 |
Zbl 0139.12303[12] R. RUCKER, La mente e l’Infinito, F. Muzzio Editore, Padova (1991).
[13]
L. WOS,
Solving open questions with an automated theorem-proving program,
Proceedings of CADE, ed.
D. Loveland,
Springer, Berlin (
1982), 1-31. |
fulltext (doi) |
MR 743431 |
Zbl 0481.68090[14]
L. WOS -
R. OVERBECK -
W. LUSK- J. BOYLE,
Automated Reasoning: Introduction and Applications, Englewood Cliffs
Prentice-Hall, New York (
1984). |
Zbl 0820.68116