端山 毅 | 東京工業大学工学部情報工学科:(現)nttデータ通信(株)開発本部

スポンサーリンク

概要

• 同名の論文著者
• 東京工業大学工学部情報工学科:(現)nttデータ通信(株)開発本部の論文著者

関連著者

• 米崎 直樹

  東京工業大学大学院情報理工学研究科計算工学専攻

• 端山 毅

  東京工業大学工学部情報工学科:(現)nttデータ通信(株)開発本部

• 米崎 直樹

  北陸先端科学技術大学院大学情報科学研究科

• 米崎 直樹

  東京工業大学大学院情報理工学研究科

著作論文

• 様相記号列統一化による様相論理定理証明器における自己代入の利用
• 様相記号列統一化による様相論理定理証明器の健全性と完全性

スポンサーリンク