吉野, 一, 明治学院大学1990-1992<Y151-H02301071>
国立国会図書館
- 件名法 法律 法的推論 法的知識 知識ベース 推論機構 人工知能 エキスパートシステム
両角, 光男, 熊本大学1993-1995<Y151-H05555161>
国立国会図書館
- 件名発掘調査 都市遺跡 イスラム史 3次元モデリング 3次元グラフイツクス マルチ・メデイア・システム 知識表現 推論機構
原尾, 政輝, 九州工業大学1992-1993<Y151-H04650320>
国立国会図書館
- 件名型理論 知識表現 推論機構 知能ソフトウエア 類推システム 高階プログラム言語 定理証...
原尾, 政輝, 九州工業大学1989-1990<Y151-H01580020>
国立国会図書館
- 件名高階論理 λ 算法 単一化アルゴリズム 定理証明 証明の機械化 論理型言語 類推 推論機構