Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation

• • AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic
• • Gray, John W. (John Walker)
• • Ščedrov, Andrej
• • National Science Foundation (U.S.)

• 関連文献: 1件

• • AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic
• • Gray, John W. (John Walker)
• • Ščedrov, Andrej
• • National Science Foundation (U.S.)

Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation

John W. Gray and Andre Scedrov, editors

(Contemporary mathematics, v. 92)

American Mathematical Society, c1989

大学図書館所蔵 件 / 全50件

• 愛知教育大学 附属図書館 図

  007.6||C26||198789006399

  愛知工業大学 附属図書館 図

  410||G001970607

  会津大学 情報センター (附属図書館) 図

  QA76.9.M35A47 1987

  茨城大学 附属図書館 図

  007:Ams118904734

  OPAC

• 大阪工業大学 図書館 中央

  10011323

  OPAC

• 大阪公立大学 杉本図書館 理

  410.8//C15100003597

  大阪大学 附属図書館 総合図書館

  08922020592

  OPAC

• 岡山大学 附属図書館 理数学

  411.5||AS016000026513*

  OPAC

• お茶の水女子大学 附属図書館 情報科学

  410.8||C86||92090010013200

  OPAC

• お茶の水女子大学 附属図書館 数学

  410.8||C86||92091010060910

  OPAC

• 金沢大学 附属図書館 研究室

  007.61:A5288902-50447-6

  OPAC

• 関西学院大学 図書館 上ケ原

  006.4:15610003829314

  OPAC

• 九州大学 理系図書館

  007.6/G 79068252191004198

  OPAC

• 京都産業大学 図書館

  418.6||GRA

  京都大学 数理解析研究所 図書室 数研

  S||CONM||9289028495

  OPAC

• 京都大学 大学院 情報学研究科

  M,1989||0.1||3089089045

  OPAC

• 京都大学 吉田南総合図書館 研究室

  007.6||A||289035658

  OPAC

• 京都大学 理学部 数学

  Ser.||A 83||9289027518

  OPAC

• 神戸大学 附属図書館 人間科学図書館

  410.6-1//92s040000193178*

  OPAC

• 埼玉大学 図書館 数学

  007.6:AY9030554

  OPAC

• 静岡大学 附属図書館 浜松分館 浜図

  410.8/C86/920089079784

  OPAC

• 湘南工科大学 附属図書館

  Z26813

  OPAC

• 玉川大学 教育学術情報図書館

  549.923/C013579095

  OPAC

• 千葉大学 附属図書館 研

  098034098

  OPAC

• 中央大学 中央図書館 政策

  001.6/A5200012774022

  筑波大学 附属図書館 中央図書館

  410.8-C86-92//007.6893022100//893022124

  東京大学 数理科学研究科 図書

  RO:Ca2012231912,8005002517

  OPAC

• 東京大学 大学院情報理工学系研究科 CS図

  11:C:152012232142

  OPAC

• 東北大学 電気通信研究所 図書室

  06890003474

  OPAC

• 東北大学 附属図書館 北青葉山分館 図

  02890009885

  OPAC

• 東北大学 附属図書館 北青葉山分館 数学

  02890009885

  OPAC

• 東北大学 附属図書館 工学分館 情報

  00890174821

  OPAC

• 富山大学 附属図書館 図

  007.6||Am8||Ca

  OPAC

• 豊田工業高等専門学校 図書館

  007.64/G0:0059130

  OPAC

• 名古屋大学 情報・言語合同図書室 情報・言語

  410.9||AmB40209

  名古屋大学 理学 図書室 理数理

  P||USA||87-C40981119

  新潟大学 附属図書館 図

  410.8//C86191025906

  OPAC

• 日本大学 文理学部図書館 数情

  410.8||C86||9215397799

  OPAC

• 阪南大学 図書館 図

  2100010607

  一橋大学 附属図書館 図

  710:433:92229100236P

  OPAC

• 兵庫教育大学 附属図書館

  410.8//COH906061*

  OPAC

• 広島大学 図書館 中央図書館

  640510

  福岡大学 図書館

  10809193

  OPAC

• 北陸先端科学技術大学院大学 附属図書館 図

  C22.5/C26 /1:5920096

  OPAC

• 北海道大学 大学院理学研究科・理学部図書室 図書

  DC19:004/G7932070121473

  OPAC

• 三重大学 附属図書館

  410.8/C 86/9229307614

  OPAC

• 横浜国立大学 附属図書館 理工

  007.6//GRH0106893*

  OPAC

• 立教大学 図書館

  89-35064

  OPAC

• 立命館大学 図書館

  7310010899

  OPAC

• 和歌山大学 教育機構学術情報センター 図書館

  219970002251

  OPAC

• 該当する所蔵館はありません
• すべての絞り込み条件を解除する

• カーリル
• WorldCat

"The AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic was held at University of Colorado, Boulder, Colorado, on June 14-20, 1987 with support from the National Science Foundation, Grant DMS-8613199."--T.p. verso

Includes bibliographies

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

• 1

  Contemporary mathematics

  American Mathematical Society