NOTE: English page is here.

青戸 等人

所属: 東北大学 電気通信研究所
住所: 〒980-8577 仙台市 青葉区 片平 2-1-1
Ｅメール:

専門分野

• 書き換えシステム
• 定理自動証明
• ソフトウェア基礎

研究業績一覧

• 発表論文
• リサーチレポート，研究会報告等

授業

• 2013年度 情報論理学(学部)

ブックマーク

• 国内の項書き換え研究