<図書>

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

(Lecture notes in computer science;832)

所蔵情報を非表示

1

本郷キャンパス

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

7161/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1994
大きさ viii, 336 p. : ill. ; 24 cm
一般注記 "The 1993 Annual Conference of the European Association for Computer Science Logic CSL '93 was held in Swansea from September 13 to September 17, 19
Includes bibliographical references
著者標目 Börger, Egon, 1946-
Gurevich, Yuri
Meinke, K. (Karl)
*Workshop on Computer Science Logic (7th : 1993 : Swansea, United Kingdom)
件 名 LCSH:Computer logic -- Congresses
LCSH:Computer science -- Congresses
LCSH:Logic, Symbolic and mathematical -- Congresses
分 類 LCC:QA76.9.L63
LCC:QA75.5
DC20:004/.01/5113
本文言語 英語
書誌ID 2000352066
ISBN 3540582770
NCID BA23281092 WCLINK

類似資料

  1. 1 Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings / E. Börger ... [et al.], eds
  2. 2 Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers / E. Börger ... [et al.] (eds.)
  3. 3 Computer science logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn (eds.)
  4. 4 Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, (ed.)
  5. 5 Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers / Dirk van Dalen, Marc Bezem (eds.)
  6. 6 Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Thomas (eds.)
  7. 7 CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.)
  8. 8 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / A.R. Meyer, M.A. Taitslin (eds.)
  9. 9 Deontic logic, agency, and normative systems : [Delta]EON '96, Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 / Mark A. Brown and José Carmo, eds
  10. 10 The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989 : proceedings / A. Fuhrmann, M. Morreau, (eds.)

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