Intensional Logic as a Basis of Algorithmic Logic (Mathematical Methods in Software Science and Engineering : Second Conference)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Sawamura Hajime

  International Institute For Advanced Study Of Social Information Science (iias-sis) Fujitsu Ltd.

関連論文

• Potentials of General-Purpose Reasoning Assistant System EUODHILOS
• Intensional Logic as a Basis of Algorithmic Logic (Mathematical Methods in Software Science and Engineering : Second Conference)

スポンサーリンク