5項 定理証明系Isabelle/HOLとその応用(4節 通研講演会,第5章 国際会議・シンポジウム等)

スポンサーリンク

概要

• 論文の詳細を見る
• 東北大学の論文

著者

• 南出 靖彦

  筑波大学

関連論文

• 5項 定理証明系Isabelle/HOLとその応用(4節 通研講演会,第5章 国際会議・シンポジウム等)

スポンサーリンク