Home > 組織・担当情報 > 東京科学大学 > 共通支援組織 情報基盤センター > 友石正彦

news ヘルプ

友石正彦 研究者情報

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

©2007 Institute of Science Tokyo All rights reserved.