小野, 寛晰, 北陸先端科学技術大学院大学1998-2000<Y151-H10440027>
国立国会図書館
- 件名非標準論理 様相論理 部分構造論理 クリプキ完全性 ゲーム理論 自然演...
角田, 譲, 神戸大学1992-1994<Y151-H04302009>
国立国会図書館
- 件名非標準論理学 イデアル 超準解析 線形論理学 数理論理学
米崎, 直樹, 北陸先端科学技術大学院大学1990-1992<Y151-H03680027>
国立国会図書館
- 件名時相論理 仕様記述 リアクテイブシステム 実現可能性 プロセスモデル 非標準論理 様相論理 定理自動証明