向井 国昭 | 三菱電機

スポンサーリンク

概要

• 同名の論文著者
• 三菱電機の論文著者

関連著者

• 首藤 勝

  三菱電機(株)

• 首藤 勝

  大坂工大

• 関本 彰次

  三菱電機(株)

• 向井 国昭

  三菱電機

著作論文

• A Formal Semantics for Algorithmic Linguages Based on the Scott's Logic (アルゴリズムにおける証明論)

スポンサーリンク