中川 中 | (株) SRAソフトウェア工学研究所

スポンサーリンク

概要

• 同名の論文著者
• (株) SRAソフトウェア工学研究所の論文著者

関連著者

• 瀬尾 明志

  日本ユニシス株式会社

• 中川 中

  (株)SRAソフトウエアエ学研究所

• 中川 中

  (株) SRAソフトウェア工学研究所

• 瀬尾 明志

  日本ユニシス(株)

著作論文

• 等式論理系における制約解消による証明記述の枠組み

スポンサーリンク