000 01624aam a2200349 i 4500
005 20250914164847.0
006 m d
007 cr nn 008maaau
008 090212s2006 gw q j eng d
020 _a9783540378747 (electronic bk.)
035 _a(Springer)978-3-540-37873-0
039 9 _a200902121952
_bmuhaimin
_y04-04-2008
_zmuhaimin
050 0 0 _aQA10
_b.I58 2006
082 0 0 _a512.74
_222
111 2 _aInternational Seminar on Relational Methods in Computer Science
_n(9th :
_d2006 :
_cManchester, England)
245 1 0 _aRelations and Kleene Algebra in Computer Science
_h[electronic resource] :
_b9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings /
_cedited by Renate A. Schmidt.
260 _aBerlin Heidelberg :
_bSpringer-Verlag GmbH.,
_c2006
300 _axi, 431 pages :
_billustration, digital ;
_c24 cm.
440 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4136
650 0 _aAlgebraic logic
_vCongresses.
650 0 _aComputer science
_xMathematics
_vCongresses.
700 1 _aSchmidt, Renate A.
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/11828563
907 _a.b14145467
_b2024-04-15
_c2019-11-12
942 _n0
914 _avtls003372117
998 _ae
_b2008-04-04
_cm
_dz
_feng
_ggw
_y0
_z.b14145467
999 _c410526
_d410526