Record ID | marc_oregon_summit_records/catalog_files/osu_bibs.mrc:1593601331:2058 |
Source | Oregon Libraries |
Download Link | /show-records/marc_oregon_summit_records/catalog_files/osu_bibs.mrc:1593601331:2058?format=raw |
LEADER: 02058cam a2200481Ia 4500
001 71200479
003 OCoLC
005 20061018050021.0
008 060825s2006 gw a 101 0 eng d
010 $a2006931478
015 $aGBA681374$2bnb
016 7 $a013553695$2Uk
020 $a3540378731 (pbk.)
024 3 $a9783540378730
040 $aOHX$cOHX$dBAKER$dCUS$dUKM$dYDXCP$dORE
049 $aOREU
050 4 $aQA10$b.I627 2006
050 4 $aQA10$b.I627 2006
072 7 $aQA$2lcco
111 2 $aInternational Seminar on Relational Methods in Computer Science$n(9th :$d2006 :$cManchester, England)
245 10 $aRelations and Kleene algebra in computer science :$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 /$cRenate A. Schmidt (ed.).
246 3 $aNinth International Seminar on Relational Methods in Computer Science.
246 30 $aInternational Seminar on Relational Methods in Computer Science.
246 30 $a4th International Workshop on Applications of Kleene Algebra.
246 3 $aFourth International Workshop on Applications of Kleene Algebra.
246 30 $aInternational Workshop on Applications of Kleene Algebra.
246 30 $aRelMiCS/AKA 2006.
260 $aBerlin ;$aNew York :$bSpringer,$cc2006.
300 $axi, 431 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v4136.
504 $aIncludes bibliographical references and index.
650 0 $aAlgebraic logic$vCongresses.
650 0 $aComputer science$xMathematics$vCongresses.
653 1 $aKleene algebra.
653 1 $aRelMiCS.
653 1 $aRelational methods.
653 1 $aAKA.
700 1 $aSchmidt, Renate A.
711 2 $aInternational Workshop on Applications of Kleene Algebra$n(4th :$d2006 :$cManchester, England)
907 $a.b24271676$bvge $c-
902 $a061024
998 $b1$c061018$dm$ea$f-$g0
945 $lvge $d120142658935$e1