代数系・論理・言語と計算機科学の新たな接点

著者

• 京都大学数理解析研究所 キョウト ダイガク スウリ カイセキ ケンキュウショ
• 近藤, 通朗 コンドウ, ミチロウ

書誌事項

代数系・論理・言語と計算機科学の新たな接点

（数理解析研究所講究録, 1964）

京都大学数理解析研究所, 2015.10

タイトル別名

New contact point of algebraic systems, logics, languages, and computer sciences : February 16-18, 2015

タイトル読み

ダイスウケイ ロンリ ゲンゴ ト ケイサンキ カガク ノ アラタナ セッテン

注記

タイトルは表紙による

RIMS研究集会報告集: 2015年2月16日-2月18日. 研究代表者: 近藤通朗

参考文献: 各論文末

• NII書誌ID(NCID): BB2043864X
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [京都]
• ページ数/冊数: iii, 182p
• 大きさ: 26cm
• 親書誌ID:
  • BN06637050