Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01893665n
Noun Concept
Categories: 数学に関する記事, 形式手法, 自動定理証明, 論理学, 計算機科学
JA
自動定理証明  定理自動証明  定理証明系  数学証明論  証明系
JA
自動定理証明（英: automated theorem proving, ATP）とは、自動推論 の中でも最も成功している分野であり、コンピュータプログラムによって数学的定理に対する証明を発見すること。 Wikipedia
Definitions
Relations
Sources
JA
自動定理証明（英: automated theorem proving, ATP）とは、自動推論 の中でも最も成功している分野であり、コンピュータプログラムによって数学的定理に対する証明を発見すること。 Wikipedia
IS A
数理論理学
HAS KIND
EN
CARINE
EN
Prover9
ロジック・フォー・コンピュータブル・ファンクションズ
EN
SPASS
Otter
+2 relations
HAS INSTANCE
EN
Vampire
Wikipedia
JA
自動定理証明
Wikidata
JA
自動定理証明
Wikipedia Redirections
JA
定理自動証明, 定理証明系, 数学証明論, 証明系
Wikipedia Translations
JA
定理証明, 自動定理証明

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License