×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
高村 博紀
タカムラ ヒロキ (Hiroki Takamura)
更新日: 2010/05/12
ホーム
MISC
基本情報
所属
独立行政法人産業技術総合研究所
システム検証研究センター 算譜意味論研究チーム
J-GLOBAL ID
200901057906824671
researchmap会員ID
5000086347
外部リンク
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年
メニュー
マイポータル