Record:   Prev Next
作者 RelMiCS 2003 (2003 : Bad Malente, Germany)
書名 Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / Rudof Berghammer,Bernhard Möller, Georg Struth (eds.)
出版項 Berlin : Springer, c2004
國際標準書號 354022145X (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.0 R382 2003  LNCS 3051    館內使用    30330000167549
說明 x, 277 p. : ill. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 3051
附註 Includes bibliographical references and author index
Also available online
主題 Relation algebras -- Congresses
Algebraic logic -- Congresses
Alt Author Berghammer, R. (Rudolf), 1952-
Möller, Bernhard, 1953-
Struth, Georg
International Workshop on Applications of Kleene Algebra (2nd : 2003 ; Bad Malente, Germany)
Alt Title RelMiCS/Kleene Alg Ws 2003
Record:   Prev Next