Links

Table of Contents

Sources:

  1. Asimov, Isaac (1950). "Runaround". I, Robot (The Isaac Asimov Collection ed.). New York City
  2. https://www.turing.org.uk/scrapbook/test.html
  3. https://www.livinginternet.com/i/ii_ai.htm
  4. http://www-formal.stanford.edu/jmc/recursive.pdf
  5. http://bitsavers.informatik.uni-stuttgart.de/pdf/rand/ipl/P-1584_Report_On_A_General_Problem-Solving_Program_Feb59.pdf
  6. https://web.media.mit.edu/~minsky/minskybiog.html
  7. http://world-information.org/wio/infostructure/100437611663/100438659325
  8. https://dspace.mit.edu/handle/1721.1/6903
  9. https://www.sciencedirect.com/science/article/pii/S0747563216300048?via%3Dihub#sec3
  10. Simon, H. A. (1965), The Shape of Automation for Men and Management, New York: Harper & Row
  11. Minsky, Marvin (1967), Computation: Finite and Infinite Machines, Englewood Cliffs, N.J.: Prentice-Hall
  12. https://projecteuclid.org/download/pdf_1/euclid.bams/1183533389
  13. http://people.csail.mit.edu/phw/index.html
  14. https://www.encyclopediaofmath.org/index.php/Boyer-Moore_theorem_prover