関西学院大学 · 工学部 · 助教授

研究キーワードModal Logic・知識情報処理・Program Verification・プログラム検証・様相論理・Computer Science・Knowledge Information Processing・計算機科学

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 定性的に表現された地質柱状図からの地層モデルの生成論文
• 高橋 和子, 豊嶋 泰都論文
• 出版年月：論文
• タイトル：論文

• Study on Spatio-Temporal Reasoning
• Study on the Verification of Agents' Behaviors
• ボードゲームBAOの解析と振る舞いに関する研究
• 空間情報の取扱いに関する研究

• 公式プロフィール