研究者
J-GLOBAL ID:200901057906824671
更新日: 2010年05月11日
高村 博紀
タカムラ ヒロキ | Takamura Hiroki
所属機関・部署:
独立行政法人産業技術総合研究所 システム検証研究センター 算譜意味論研究チーム
独立行政法人産業技術総合研究所 システム検証研究センター 算譜意味論研究チーム について
「独立行政法人産業技術総合研究所 システム検証研究センター 算譜意味論研究チーム」ですべてを検索
ホームページURL (1件):
http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=H83735220
MISC (1件):
The variety of modal FLew-algebras is generated by its finite simple members. 「算譜科学研究速報」 (Programming Science Technical Report). 2006
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM