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

書誌事項

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

(数理解析研究所講究録, 1964)

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

タイトル別名

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

タイトル読み

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

大学図書館所蔵 件 / 5

この図書・雑誌をさがす

注記

タイトルは表紙による

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

参考文献: 各論文末

関連文献: 1件中  1-1を表示

詳細情報

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