Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Logic_Theorist> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- Logic_Theorist abstract "Logic Theorist is a computer program written in 1955 and 1956 by Allen Newell, Herbert A. Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called "the first artificial intelligence program." It would eventually prove 38 of the first 52 theorems in Whitehead and Russell's Principia Mathematica, and find new and more elegant proofs for some.".
- Logic_Theorist wikiPageExternalLink humanandmachine.html.
- Logic_Theorist wikiPageExternalLink logictheorymachine.pdf.
- Logic_Theorist wikiPageExternalLink File:Newell_Simon_The_Logic_Theory_Machine_Jul56.pdf.
- Logic_Theorist wikiPageID "13685265".
- Logic_Theorist wikiPageRevisionID "582055283".
- Logic_Theorist hasPhotoCollection Logic_Theorist.
- Logic_Theorist subject Category:History_of_artificial_intelligence.
- Logic_Theorist subject Category:Theorem_proving_software_systems.
- Logic_Theorist comment "Logic Theorist is a computer program written in 1955 and 1956 by Allen Newell, Herbert A. Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called "the first artificial intelligence program." It would eventually prove 38 of the first 52 theorems in Whitehead and Russell's Principia Mathematica, and find new and more elegant proofs for some.".
- Logic_Theorist label "Logic Theorist".
- Logic_Theorist label "Logic Theorist".
- Logic_Theorist label "Logic Theorist".
- Logic_Theorist sameAs Logic_Theorist.
- Logic_Theorist sameAs Logic_Theorist.
- Logic_Theorist sameAs m.03cf1zn.
- Logic_Theorist sameAs Q4391896.
- Logic_Theorist sameAs Q4391896.
- Logic_Theorist wasDerivedFrom Logic_Theorist?oldid=582055283.
- Logic_Theorist isPrimaryTopicOf Logic_Theorist.