Home > 組織・担当情報 > 東京工業大学 > 学術国際情報センター > 友石正彦

news ヘルプ

友石正彦 研究者情報

姓 友石  TOMOISHI 
名 正彦  MASAHIKO 
所属組織 東京工業大学 学術国際情報センター
ResearcherID C-8227-2015
専門分野 情報学基礎 (計算機科学)
学位論文 時相論理分解証明法の完全性,  Master of Engineering,  1994/--/--, 

©2007 Tokyo Institute of Technology All rights reserved.