Search results for "自動証明" | NDL Search

Search results 11

Group by title

プログラムのデータベースに関する研究

Paper図書

宮本健司, 法政大学 [著][宮本健司]2004-2007<Y151-H16500071>

National Diet Library

Subject Heading仕様抽出 / 自動証明 / 再生産

線形論理の自動演繹システムに関する研究

Paper図書

田村直之, 神戸大学 [著][田村直之]2002-2004<Y151-H14580375>

National Diet Library

Subject Heading線形論理 / 自動演繹 / 自動証明 / 定理証明

初等幾何定理の大量生産とその利用の研究

Paper図書

岡崎, 宏光, 熊本大学2000-2001<Y151-H12680184>

National Diet Library

Subject Heading初等幾何証明問題推論規則自動証明

命題論理の証明の複雑さに関する研究

Paper図書

新井紀子, 国立情報学研究所 [著][新井紀子]2001-2003<Y151-H13680422>

National Diet Library

Subject Heading証明論 / 計算の複雑さ理論 / 証明の複雑さ理論 / 自動証明 / 遠隔教育

プログラム検証のための帰納的定理自動証明法の研究

Paper図書

外山, 芳人, 東北大学1998-2001<Y151-H10680346>

National Diet Library

Subject Heading項書き換えシステム自動証明潜在帰納法書き換え帰納法

書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究

Paper図書

大山口通夫, 三重大学 [著][大山口通夫]2003-2005<Y151-H15500009>

National Diet Library

Subject Heading項書き換えシステム / Church-Rosser (合流性) / 非線形TRS / 完備化手続き / 定理の自動証明 / 単一化 / 語問題 / 項合流性

証明補完技法に基く仮説発見システムの構成

Paper図書

山本, 章博, 北海道大学2000-2002<Y151-H12680364>

National Diet Library

Subject Heading定理自動証明証明補完連結証明仮説発見残余仮説帰納学習アブダク...

書き換えシステムの基本的性質の解明と定理の自動証明に関する研究

Paper図書

大山口, 通夫, 三重大学2000-2002<Y151-H12680344>

National Diet Library

Subject Heading項書き換えシステム Church-Rosser (合流性) 非線形TRS 完備化手続き定理の自動証明単一化深さ保存性拡張危険対の完備化

各種属性を制御可能なランダムテスト例題生成技術の研究

Paper図書

岩間, 一雄, 九州大学1995-1996<Y151-H07458061>

National Diet Library

Subject Heading充足可能性問題充足解数の制御局所探索法重みつけ法定理自動証明単読導出原理計算複雑さ例題生成系の安全性

様相構造記述言語を用いるリアクテイブシステム構成法の研究

Paper図書

米崎, 直樹, 北陸先端科学技術大学院大学1990-1992<Y151-H03680027>

National Diet Library

Subject Heading時相論理仕様記述リアクテイブシステム実現可能性プロセスモデル非標準論理様相論理定理自動証明

離散的計算機数学の総合的研究

Paper図書

米田, 信夫, 東京大学1985-1987<Y151-S60302009>

National Diet Library

Subject Heading圏論と計算機科学トポス関数型言語の処理機構 Modula-2 プログラムの自動合成定理の自動証明計算幾何学 V-論理類推の理論ペアノ算術系グラフの結...

Reached to the end of result.

RSS