Jump to main content

yr 〜
yr

Search results 3

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

証明補完技法に基く仮説発見システムの構成
Paper図書
山本, 章博, 北海道大学2000-2002<Y151-H12680364>
National Diet Library
  • Subject Heading定理自動証明 証明補完 連結証明 仮説発見 残余仮説 帰納学習 アブダク...

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

各種属性を制御可能なランダムテスト例題生成技術の研究
Paper図書
岩間, 一雄, 九州大学1995-1996<Y151-H07458061>
National Diet Library
  • Subject Heading充足可能性問題 充足解数の制御 局所探索法 重みつけ法 定理自動証明 単読導出原理 計算複雑さ 例題生成系の安全性

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

様相構造記述言語を用いるリアクテイブシステム構成法の研究
Paper図書
米崎, 直樹, 北陸先端科学技術大学院大学1990-1992<Y151-H03680027>
National Diet Library
  • Subject Heading時相論理 仕様記述 リアクテイブシステム 実現可能性 プロセスモデル 非標準論理 様相論理 定理自動証明

Reached to the end of result.

RSS