新出 尚之 | 京都大学情報処理教育センター

スポンサーリンク

概要

• 同名の論文著者
• 京都大学情報処理教育センターの論文著者

関連著者

• 新出 尚之

  奈良女子大学理学部

• 新出 尚之

  京都大学情報処理教育センター

• 新出 尚之

  奈良女子大学

著作論文

• 区間時制論理に基づいた実行可能かつ公理的体系を持つ論理型言語AYA

スポンサーリンク