WebOPAC Local書誌詳細

書誌詳細

京都大学数理解析研究所, 2015. -- (数理解析研究所講究録 ; 1964). <BB02271650>

登録タグ：

登録されているタグはありません

便利機能：

書誌URL：

京都大学数理解析研究所, 2015. -- (数理解析研究所講究録 ; 1964). <BB02271650>

登録タグ：

登録されているタグはありません

便利機能：

書誌URL：

ナンバーをクリックすると所蔵詳細をみることができます。

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

標題および責任表示	代数系・論理・言語と計算機科学の新たな接点ダイスウケイロンリゲンゴトケイサンキカガクノアラタナセッテン
出版・頒布事項	[京都] : 京都大学数理解析研究所 , 2015.10
形態事項	iii, 182p ; 26cm
書誌構造リンク	数理解析研究所講究録\|\|スウリカイセキケンキュウショコウキュウロク <BB00036669> 1964//a
その他の標題	標題紙タイトル:New contact point of algebraic systems, logics, languages, and computer sciences : February 16-18, 2015
注記	タイトルは表紙による
注記	RIMS研究集会報告集: 2015年2月16日-2月18日. 研究代表者: 近藤通朗
注記	参考文献: 各論文末
学情ID	BB2043864X
本文言語コード	日本語英語
著者標目リンク	京都大学数理解析研究所\|\|キョウトダイガクスウリカイセキケンキュウショ <AU00064589>
著者標目リンク	近藤, 通朗コンドウ, ミチロウ <>