代数系・論理・言語と計算機科学の新たな接点
CiNii
所蔵館 5館
書誌事項
- タイトル
- "代数系・論理・言語と計算機科学の新たな接点"
- 出版者
-
- 京都大学数理解析研究所
- 出版年月
-
- 2015.10
- 書籍サイズ
- 26cm
- タイトル別名
-
- ダイスウケイ ロンリ ゲンゴ ト ケイサンキ カガク ノ アラタナ セッテン
- New contact point of algebraic systems, logics, languages, and computer sciences : February 16-18, 2015
この図書・雑誌をさがす
注記
タイトルは表紙による
RIMS研究集会報告集: 2015年2月16日-2月18日. 研究代表者: 近藤通朗
参考文献: 各論文末
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1130282273102709888
-
- NII書誌ID
- BB2043864X
-
- 出版国コード
- ja
-
- タイトル言語コード
- ja
-
- 出版地
-
- [京都]
-
- データソース種別
-
- CiNii Books