Kwansei Gakuin University · Faculty of Engineering · 助教授

Research keywordsModal Logic・知識情報処理・Program Verification・プログラム検証・様相論理・Computer Science・Knowledge Information Processing・計算機科学

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

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

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

• Official profile