自動定理証明
1. Automated theorem provingAutomated theorem proving (ATP) or automated deduction, currently the most well-developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program.
Read “Automated theorem proving” on English Wikipedia
Read “自動定理証明” on Japanese Wikipedia
Read “Automated theorem proving” on DBpedia
Read “Automated theorem proving” on English Wikipedia
Read “自動定理証明” on Japanese Wikipedia
Read “Automated theorem proving” on DBpedia
Discussions
Log in to talk about this word.