東京都立大学図書館

Developments of language, logic, algebraic system and computer science : February 20-22, 2017

edited by Kiyomitsu Horiuchi. -- Research Institute for Mathematical Sciences, Kyoto University, 2017. -- (数理解析研究所講究録 ; 2051). <BB02343944>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 資料ID 請求記号 状態 返却予定日 予約 WEB書棚
0001 数理科学 理:数理科学図書室 レクチャーノート 10005068954 /410/Su76k/2051 0件
No. 0001
巻号
所蔵館 数理科学
配置場所 理:数理科学図書室 レクチャーノート
資料ID 10005068954
請求記号 /410/Su76k/2051
状態
返却予定日
予約 0件
WEB書棚

書誌詳細

標題および責任表示 Developments of language, logic, algebraic system and computer science : February 20-22, 2017 / edited by Kiyomitsu Horiuchi
出版・頒布事項 Kyoto : Research Institute for Mathematical Sciences, Kyoto University , 2017
形態事項 iii, 166 p. : ill. ; 26 cm
書誌構造リンク 数理解析研究所講究録||スウリ カイセキ ケンキュウショ コウキュウロク <BB00036669> 2051//a
その他の標題 表紙タイトル:言語、論理、代数系と計算機科学の展開 : RIMS共同研究(公開型)
ゲンゴ ロンリ ダイスウケイ ト ケイサンキ カガク ノ テンカイ : RIMS キョウドウ ケンキュウ コウカイガタ
注記 RIMS共同研究(公開型)報告集: 2017年2月20日-2月22日. 研究代表者: 堀内清光
注記 Includes bibliographical references
学情ID BB25646440
本文言語コード 英語 日本語
著者標目リンク 堀内, 清光||ホリウチ, キヨミツ <AU00793338>
著者標目リンク 京都大学数理解析研究所||キョウト ダイガク スウリ カイセキ ケンキュウショ <AU00064589>