山本, 章博, 北海道大学2000-2002<Y151-H12680364>
国立国会図書館
- 件名定理自動証明 証明補完 連結証明 仮説発見 残余仮説 帰納学習 アブダク...
岩間, 一雄, 九州大学1995-1996<Y151-H07458061>
国立国会図書館
- 件名充足可能性問題 充足解数の制御 局所探索法 重みつけ法 定理自動証明 単読導出原理 計算複雑さ 例題生成系の安全性
米崎, 直樹, 北陸先端科学技術大学院大学1990-1992<Y151-H03680027>
国立国会図書館
- 件名時相論理 仕様記述 リアクテイブシステム 実現可能性 プロセスモデル 非標準論理 様相論理 定理自動証明