和泉 憲明 | 大阪府立大学工学部:(現)静岡大学情報学部

スポンサーリンク

概要

• 和泉 憲明の詳細を見る
• 同名の論文著者
• 大阪府立大学工学部:(現)静岡大学情報学部の論文著者

関連著者

• 和泉 憲明

  大阪府立大学工学部:(現)静岡大学情報学部

• 高松 忍

  大阪産業大学工学部

• 福永 邦雄

  大阪府立大学大学院工学研究科電気・情報系専攻

• 福永 邦雄

  大阪府立大学大学院工学研究科

• 高松 忍

  大阪府立大学 工学部

• 黄瀬 浩一

  大阪府立大学大学院工学研究科

• 小島 篤博

  大阪府立大学 総合教育研究機構

• 黄瀬 浩一

  大阪府立大学

• 谷 忠明

  大阪府立大学工学部電気工学教室

• 谷 忠明

  大阪府立大学

• 黄瀬 浩一

  阪府大

• 指原 利之

  大阪府立大学工学部

• 井上 博明

  大阪府立大学 工学部

• 凌 雲飛

  大阪府立大学工学部

もっと見る 閉じる

著作論文

• プロセス代数と様相論理を融合した並行システムの仕様記述
• ハードウェア設計仕様における自然言語記述の一階論理に基づく状況的・動的解釈
• 一階論理の形式化によるオブジェクト指向モデルの記述言語と推論系
• 有限状態システムに関する説明テキストの一階論理に基づく文脈理解
• プロパティ理論と情報の論理に基づくエージェント・モデルの一階論理による形式化
• 論理的意味論に基づく説明テキストの文脈理解

スポンサーリンク