000 01827aam a2200397 i 4500
005 20250914164843.0
006 m d
007 cr nn 008maaau
008 090212s2006 gw q j eng d
020 _a9783540333401 (electronic bk.)
035 _a(Springer)978-3-540-33339-5
039 9 _a200902121949
_bmuhaimin
_y04-04-2008
_zmuhaimin
050 0 0 _aQA76
_b.R437 2005
082 0 4 _a004
_222
111 2 _aInternational Seminar on Relational Methods in Computer Science
_n(8th :
_d2005 :
_cSt. Catharines, Ont.)
245 1 0 _aRelational Methods in Computer Science
_h[electronic resource] :
_b8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /
_cedited by Wendy MacCaull, Michael Winter, Ivo Duntsch.
260 _aBerlin Heidelberg :
_bSpringer-Verlag GmbH.,
_c2006
300 _aviii, 262 pages :
_billustration, digital ;
_c24 cm.
440 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3929
650 0 _aComputer science
_vCongresses.
650 0 _aRelationism
_vCongresses.
650 0 _aAlgebra
_xComputer programs
_vCongresses.
650 0 _aRelation algebras
_vCongresses.
700 1 _aMacCaull, Wendy.
700 1 _aDuntsch, Ivo.
700 1 _aWinter, Michael.
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/11734673
907 _a.b14143549
_b2024-04-15
_c2019-11-12
942 _n0
914 _avtls003371919
998 _ae0001
_b2008-04-04
_cm
_dz
_feng
_ggw
_y0
_z.b14143549
999 _c410334
_d410334