様相論理とその実時間制御及び人工知能への応用
著者
書誌事項
様相論理とその実時間制御及び人工知能への応用
[中島玲二], 1991.3
- タイトル別名
-
平成2年度科学研究費補助金(一般研究C)研究成果報告書 : 研究課題番号 63580026
- タイトル読み
-
ヨウソウ ロンリ ト ソノ ジツジカン セイギョ オヨビ ジンコウ チノウ エノ オウヨウ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
京都大学数理解析研究所