AI Chronicle · Corrections

Logic Theorist 运行，首个自动定理证明程序问世

1956-08 · logic-theorist-1956

Sources this entry has · 1

Logic Theorist · www.rand.org

If any of these no longer opens, or does not match what the original says, please say so directly.

Report this entry by email

The mail is prefilled with the entry, the date and the link; you only add what is wrong and the evidence.

No email client

Copy the block below into whichever channel reaches us:

Entry: Logic Theorist 运行，首个自动定理证明程序问世
Date: 1956-08
Page: https://aihist.net/en/e/logic-theorist-1956.html
What is wrong: (date / fact / source / the judgement)
Evidence: (a link that opens)

See this entry on the timeline · Back to the site