IWANUMA Koji | the Department of Electrical Engineering and Computer Science, Yamanashi University

スポンサーリンク

概要

• IWANUMA Kojiの詳細を見る
• 同名の論文著者
• the Department of Electrical Engineering and Computer Science, Yamanashi Universityの論文著者

関連著者

• Iwanuma K

  Yamanashi Univ. Kofu‐shi Jpn

• IWANUMA Koji

  the Department of Electrical Engineering and Computer Science, Yamanashi University

• OOTA Kazuhiko

  the Department of Electrical Engineering and Computer Science, Yamanashi University

• Oota Kazuhiko

  The Department Of Electrical Engineering And Computer Science Yamanashi University

著作論文

• Strong Contraction in Model Elimination Calculus:Implementation in a PTTP-Based Theorem Prover

スポンサーリンク