• DocumentCode
    1324273
  • Title

    Computer learning in theorem proving

  • Author

    Johnson, David L. ; Holden, A.D.C.

  • Author_Institution
    University of Washington, Seattle, Wash.
  • Volume
    2
  • Issue
    2
  • fYear
    1966
  • Firstpage
    115
  • Lastpage
    123
  • Abstract
    Trigonometric theorem proofs are taken as the application for the learning model described in this paper. The simple basic structure of the heuristics together with the detailed implementation are developed, with evaluation as to possible generality in more general problem-solving processes.
  • Keywords
    Computational modeling; Computers; Mathematical model; Problem-solving; Standards;
  • fLanguage
    English
  • Journal_Title
    Systems Science and Cybernetics, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0536-1567
  • Type

    jour

  • DOI
    10.1109/TSSC.1966.6593093
  • Filename
    6593093
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1324273