小野 寛晰 | 津田塾大学理学部

スポンサーリンク

概要

• 同名の論文著者
• 津田塾大学理学部の論文著者

関連著者

• 小野 寛晰

  School Of Information Science Jaist

• 小野 寛晰

  津田塾大学理学部

著作論文

• Proving Correctness of Algol-Like Programs in a Formal System (アルゴリズムにおける証明論)

スポンサーリンク