| Record ID | marc_loc_updates/v38.i40.records.utf8:4824852:2097 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v38.i40.records.utf8:4824852:2097?format=raw |
LEADER: 02097cam a22004574a 4500
001 2008923359
003 DLC
005 20100928121601.0
008 080220s2008 gw a b 101 0 eng c
010 $a 2008923359
016 7 $a987805428$2GyFmDB
020 $a9783540789123 (softcover : alk. paper)
020 $a354078912X (softcover : alk. paper)
035 $a(OCoLC)ocn221131097
040 $aOHX$cOHX$dC$Q$dBTCTA$dYDXCP$dCUY$dIQU$dCOO$dBAKER$dDLC
042 $apcc
050 00 $aQA10$b.I58 2008
072 7 $aQA$2lcco
082 00 $a511.3/24$222
111 2 $aInternational Conference on Relational Methods in Computer Science$n(10th :$d2008 :$cFrauenworth, Germany)
245 10 $aRelations and Kleene algebra in computer science :$b10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings /$cRudolf Berghammer, Bernhard Möller, Georg Struth (eds.).
246 30 $aRelational methods in computer science
246 30 $aApplications of Kleene algebra
246 30 $aKleene algebra
246 30 $aRelMiCS/AKA 2008
246 3 $aRelMiCS 2008
246 3 $aAKA 2008
260 $aBerlin ;$aNew York :$bSpringer,$cc2008.
300 $ax, 396 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v4988
440 0 $aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aAlgebraic logic$vCongresses.
650 0 $aRelation algebras$vCongresses.
650 0 $aComputer science$xMathematics$vCongresses.
700 1 $aBerghammer, R.$q(Rudolf),$d1952-
700 1 $aMöller, Bernhard,$d1953-
700 1 $aStruth, Georg.
711 2 $aInternational Workshop on Applications of Kleene Algebra$n(5th :$d2008 :$cFrauenworth, Germany)
856 41 $uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4988$zRestricted to SpringerLink subscribers