竹中 重雄 | 大阪府立大学大学院　農学生命科学研究科　獣医学専攻

スポンサーリンク

概要

• 同名の論文著者
• 大阪府立大学大学院　農学生命科学研究科　獣医学専攻の論文著者

論文 | ランダム

• 第8回自動演繹国際会議の報告
• 形付項書き換えシステム(計算機科学の基礎理論とその応用)
• Call by Need 再考
• On Equivalence Trarnsformations for Term Rewriting Systems
• 83-19 構成子をもつ等号理論での帰納法による証明

もっと見る

スポンサーリンク