Search results 22
Digital博士論文障害者向け資料あり
Available onlineNational Diet LibraryOther Libraries in Japan
- Subject Heading自動定理証明 幾何学基礎論 Automated Theorem Prov...
- Note (General)自動定理証明(Automated theo......している。ATPを用いて数学の定理証明を実行するには,ソフトウェアが......度を高めることができる。そこに定理証明にATPを用いる価値がある。ユ......論の証明(ユークリッド幾何学の定理証明)をATPの1つであるIsab......本研究ではユークリッド幾何学の定理証明に対し,ヒルベルトの幾何学基礎......TP機能を有するソフトウェア(定理証明支援系)の現状と補助命題の必要......elle/HOL を用いた自動定理証明の価値があることを考察し,今後の課題および発展可能性を示した...
Paper図書
National Diet Library
- Subject Headingメタ・プログラミング / オブジェクト・プログラム / 定理証明 / 限定継続 / 型システム / コントロール・オペレータ
Paper図書
National Diet Library
- Subject Headingハイブリッドモデル / 組込みシステム / 詳細化検証 / 仕様記述 / 定理証明 / 確率 / 模倣検証
Paper図書
National Diet Library
- Subject Heading検証 モデル検査 抽象解釈 定理証明 グラフ探索 並行ゴミ集め セキユリテイ
Paper図書
National Diet Library
- Subject Headingオブジエクト指向方法論 組み込みシステム 分析モデル 定理証明 並行オブジエクト スレツド
Paper図書
National Diet Library
- Subject Heading形式的証明の開発 定理証明 論理情報の視覚化 古典論理証明の実行 Curry-Howa...
Paper図書
National Diet Library
- Subject Headingユーザインタフエース 文書編集 制約 ハイパーテキスト 定理証明 項書き換え タクテイク
Digital文書・図像類
Available onlineOther Libraries in Japan
- Subject Heading計算言語学 自然言語処理 構文解析 意味解析 定理証明
Digital文書・図像類
Other Libraries in Japan
- Subject Heading形式手法 形式検証 車載システム 形式仕様 定理証明
- Note (General)...書に基づいて形式仕様を作成し,定理証明による検証過程において,仕様の......デルに基づいてプログラムを自動定理証明により自動検証する手法を提案し,Linux,TOPPERS/...
Paper図書
National Diet Library
- Subject Heading人工知能 高次推論原理 学習 計算言語論 定理証明 並列分散処理 知能プログラミング 認識システム
Digital文書・図像類
Other Libraries in Japan
- Subject Headingトラスト 分散アルゴリズム理論 トレース集合 定理証明ソフトウェア ファジィ理論
Digital文書・図像類
Other Libraries in Japan
- Subject Headingソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT 定理証明
Paper図書
National Diet Library
- Subject Heading型理論 知識表現 推論機構 知能ソフトウエア 類推システム 高階プログラム言語 定理証明 論理プログラム
Digital文書・図像類
Other Libraries in Japan
- Subject Heading仕様記述・仕様検証 形式手法 ソフトウェア工学 代数仕様 証明スコア CafeOBJ 定理証明
Paper図書
National Diet Library
- Subject Heading高階論理 λ 算法 単一化アルゴリズム 定理証明 証明の機械化 論理型言語 類推 推論機構
Paper図書
National Diet Library
- Subject Heading代数的制約記述 制約プログラミング 幾何推論 Grobrer基底法 幾何学定理証明 図形処理ソフトウエア 画像処理ソフトウエア