ジショウ キジュツ テキスト ニ オケル イベントカン ノ ジカンテキ カンケイ ノ チュウシュツ
東正造
生駒 : 奈良先端科学技術大学院大学, 1996.3
1
R000143
2
禁帯出
1996
82p
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1996年3月
学位記番号: 修第140号
授与年月日: 1996/03/22
学位の種類: 修士(工学)
学生番号: 9451002
日本語 (jpn)
東, 正造 (アズマ, ショウゾウ)
時間
テンス
アスペクト
語彙アスペクト
イベント計算
時間論理
時間テンスアスペクト語彙アスペクトイベント計算時間論理
