/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2009ホーム
/
秋葉 澄孝
氏名
秋葉 澄孝
ふりがな
あきば すみたか
所属
産業技術総合研究所
発表リスト
06月18日(Thu) 09:00〜10:20 H会場(ホール棟6F-64室)
題目
2H1-4 論理プログラムの統一的な意味論
著者
秋葉 澄孝
論文
PDFファイル