<図書>

Categorical methods in computer science : with aspects from topology / H. Ehrig ... [et al.], (eds.)

(Lecture notes in computer science;393)

所蔵情報を非表示

1

本郷キャンパス

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

5176/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1989
大きさ vi, 350 p. : ill. ; 25 cm
一般注記 Papers presented at the International Workshop on Categorical Methods in Computer Science with Aspects from Topology, held 1988 in Berlin
Includes bibliograpical references
著者標目 Ehrig, Hartmut
International Workshop on Categorical Methods in Computer Science with Aspects from Topology (1988 : Berlin, Germany)
件 名 LCSH:Computer science -- Congresses
LCSH:Categories (Mathematics) -- Congresses
LCSH:Topology -- Congresses
分 類 LCC:QA75.5
DC20:004/.01/5113
本文言語 英語
書誌ID 2000117009
ISBN 0387517227
NCID BA0751680X WCLINK

類似資料

  1. 1 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
  2. 2 Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
  3. 3 Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings / E. Börger ... [et al.], eds
  4. 4 Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers / E. Börger ... [et al.] (eds.)
  5. 5 Computer science logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn (eds.)
  6. 6 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.)
  7. 7 COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings / P. Martin-Löf, G. Mints (eds.)
  8. 8 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.)
  9. 9 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.)
  10. 10 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.)

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