自動推論を解説文に含む用語の検索結果

「自動推論」を解説文に含む見出し語の検索結果(1～10/67件中)

学会と学会誌 - ウィキペディア小見出し辞書

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/13 06:25 UTC 版)「自動推論」の記事における「学会と学会誌」の解説Association for Auto...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/13 06:25 UTC 版)「自動推論」の記事における「HOL Light」の解説OCamlで書かれており、論理的基...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/13 06:25 UTC 版)「自動推論」の記事における「Boyer-Moore Theorem Prover (Nq...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/13 06:25 UTC 版)「自動推論」の記事における「Coq」の解説フランスで開発された証明支援システムで、仕様記...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/13 06:25 UTC 版)「自動推論」の記事における「主な証明システム」の解説Boyer-Moore Theore...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/13 06:25 UTC 版)「自動推論」の記事における「重要な貢献」の解説アルフレッド・ノース・ホワイトヘッドとバー...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/02 15:45 UTC 版)「AR」の記事における「普通名詞・術語」の解説アージェント (argent) - 紋章学...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/12/10 19:06 UTC 版)「知識ベース」の記事における「機械が読み取り可能な知識ベース」の解説コンピュータが読み取...

ナビゲーションに移動検索に移動自動推論（じどうすいろん、Automated Reasoning）は計算機科学と数理論理学の一分野であり、推論の様々な側面を理解することでコンピュータによる完全（あるいは...

< 前の結果 | 次の結果 >