研究者
J-GLOBAL ID:200901084673562970
更新日: 2011年02月02日
山形 賴之
ヤマガタ ヨリユキ | Yamagata Yoriyuki
所属機関・部署:
独立行政法人産業技術総合研究所 関西センター 関西産学官連携センター 組込みシステム技術連携研究体
独立行政法人産業技術総合研究所 関西センター 関西産学官連携センター 組込みシステム技術連携研究体 について
「独立行政法人産業技術総合研究所 関西センター 関西産学官連携センター 組込みシステム技術連携研究体」ですべてを検索
ホームページURL (1件):
http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=Y64984985
研究分野 (1件):
情報学基礎論
研究キーワード (1件):
証明論 形式手法
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM