Bibliografia

Ipertesti

1. Apple Computer Inc, Macintosh Hpercard User's Guide, 1989.
2. Apple Computer Inc, Hypertalk Beginner's Guide: An Introduction to Scripting , 1989
3. Bush V., "As we may think", Atlantic Monthly, 176 (1), 1945 (pp.101-108).
4. Conklin J. & Begeman M., "IBIS: A hypertext tool for team design deliberation", in Proceedings of Hypertext '87 University of Carolina, Computer Science Department, Chapel Hill 1987 (pp. 247-268).
5. Engelbart D. "A conceptual framework for the aumentation of man' intellect", in P.D. Howerton & D.C. Weeks (Eds.), Vistas in information handling, Vol.1. Spartan Books, Washington DC 1963.
6. Goodmann D., The complete Hypercard 2.0 handbook , Bantam Books, Toronto 1990.
7. Hofstadter D. R., Gödel, Escher, Bach: un'Eterna Ghirlanda Brillante , Adelphi 1988.
8. Marchionini G., "Hypermedia and learning" Freedom and chaos", Educational Technology, 28 (11) 1988, (pp 8-12).
9. Nelson T., Dream machines, The Distribuitors, South Bend IN 1974.
10. Nelson T., Literary Machines, The Author, Swarthmore PA 1981.
11. Norman D. A., Cognitive organization and learning, Center for the Human Information Processing, University of California, San Diego 1973.
12. Norman D. A., Genter S., Stevens A. L., "Comments on learning schemata and memory representation", in D. Klahr (Ed.), Cognition and instruction , Lawrence Erlbaum Associates, Hillsdale NJ 1976.

    Logica proposizionale e Logica dei predicati

13. Bergmann M., Moor J., Nelson J., The logic book, McGraw-Hill Publishing Company, 1990.

    Forma clausale e principio di risoluzione

14. Chang C. L., Lee R. C. T., Logica simbolica, Tecniche nuove, Milano1988.
15. Geneseret M. R., Nilsson N. J., Logical foundations of Artificial Intellinge, Morgan Kaufmann Publishers, Inc., 1988.
16. Robinson A. J., "A Machine-Oriented Logic Based on the Resolution Principle", Journal of the ACM 12 (1965), (pp 23-41).

    Logica per la risoluzione di problemi

17. Kowalski R., Logic for problem solving, North-Holland, New York, 1979.
18. Nilsson, Principles of Artificial Intelligence, Springer-Verlag, Berlin 1980.

    Prolog

19. Adorni G., Gaglio S., Massone L., Manuale di Intelligenza Artificiale: il linguaggio Prolog e le sue applicazioni, La Nuova Italia Scientifica, Roma 1987.
20. Clocksin W. F., Mellish C. S., Programmare in Prolog, Franco Angeli Libri, Milano 1986.
21. Lloyd J. W., Foundations of logic programming, Springer-Verlag, Berlin 1984.