000 01574nam a22003735a 4500
005 20250919172508.0
006 m q d
007 cr nn 008maaau
008 090205s2007 gw q j eng d
020 _a9783540738596 (electronic bk.)
035 _a(Springer)978-3-540-73857-2
039 9 _a200902050905
_bmuhaimin
_c200804042129
_dshai
_y04-04-2008
_zmuhaimin
050 0 0 _aQA76.9.M35
_bC33 2007
082 0 4 _a004.0151
_222
111 2 _aCALCO 2007
_d(2007 :
_cBergen, Norway)
245 1 0 _aAlgebra and Coalgebra in Computer Science
_h[electronic resource] :
_bSecond International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007: Proceedings /
_cedited by Till Mossakowski, Ugo Montanari, Magne Haveraaen.
260 _aBerlin, Heidelberg :
_bSpringer-Verlag Berlin Heidelberg,
_c2007.
300 _axi, 461, [2] p. :
_bill., digital ;
_c24 cm.
490 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4624
650 0 _aComputer science
_xMathematics
_vCongresses.
650 0 _aAlgebra
_vCongresses.
700 1 _aMossakowski, Till.
700 1 _aHaveraaen, Magne.
700 1 _aMontanari, Ugo.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer e-books
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-540-73859-6
907 _a.b14158930
_b2025-02-03
_c2019-11-12
942 _n0
914 _avtls003373521
998 _ae0001
_b2008-04-04
_cm
_dz
_feng
_ggw
_y0
_z.b14158930
999 _c674566
_d674566