<図書>

Frontiers of combining systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : Proceedings / Hélène Kirchner, Christophe Ringeissen (eds.)

(Lecture notes in computer science;1794 . Lecture notes in artificial intelligence)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1794 2012821720

保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Frontiers 8010255688


書誌詳細を非表示

出版者 Berlin ; Heidelberg : Springer-Verlag
出版年 c2000
大きさ x, 289 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Workshop on Frontiers of Combining Systems (3rd : 2000 : Nancy, France)
Kirchner, Hélène
Ringeissen, Christophe, 1967-
件 名 LCSH:Logic, Symbolic and mathematical -- Congresses
LCSH:Computer science -- Congresses
LCSH:Artificial intelligence -- Congresses
分 類 LCC:QA9.A1
DC20:511.3
本文言語 英語
書誌ID 2001096053
ISBN 3540672818
NCID BA46083633 WCLINK

類似資料

  1. 1 Logic from computer science : proceedings of a workshop held November 13-17, 1989 / Y.N. Moschovakis, editor
  2. 2 Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy : Bruno, Czech Republic, August 1996, Proceedings / Petr Hájek (ed.)
  3. 3 Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 / edited by L. Jonathan Cohen ... [et al.]
  4. 4 Logic, methodology and philosophy of science : proceedings of the 1960 International Congress / edited by Ernest Nagel, Patrick Suppes, Alfred Tarski
  5. 5 Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
  6. 6 Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 / edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers
  7. 7 Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 / editors, J.B. Paris, A.J. Wilkie, G.M. Wilmers
  8. 8 Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / edited by George Metakides
  9. 9 Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 / edited by C.-T. Chong and M.J. Wicks
  10. 10 Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 / edited by Angus Macintyre, Leszek Pacholski, Jeff Paris

検索結果一覧に戻る ページトップ