*001943649
*00520250613104216.0
*007ta
*008111206s2002    gw            100 u eng d
*00902168cam a2200493 c 4500
*019  $bl
*020  $a3540003886$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)990300886074702201
*035  $a(NO-LaBS)14830601(bibid)
*035  $a(NO-TrBIB)030088607
*035  $a030088607-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a004:51
*080  $a510.63
*080  $a519.83
*084  $aF.1.1$2acmccs
*084  $aF.3.0$2acmccs
*084  $aF.4.1$2acmccs
*24500$aAutomata logics, and infinite games :$ba guide to current research$cErich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
*260  $aBerlin$bSpringer$cc2002
*300  $aVIII, 385 s.$bill.
*4901 $aLecture notes in computer science$v2500
*500  $aBidrag fra et seminar holdt ved Schloß Dagstuhl i febr. 2001
*650 0$aComputer science$xMathematics$_24483100
*650 0$aGame Theory$_21723600
*650 0$aLogic, Symbolic and mathematical$_22658200
*650 0$aMachine theory$_13494200
*650 7$aAutomatateori$0(NO-TrBIB)REAL013201$2noubomn$_217757700
*650 7$aMaskinteori (Matematisk logikk)$2tekord$_206595800
*650 7$aMatematisk databehandling$2tekord$vKongresser$_207308500
*650 7$aSpillteori$2tekord$_186949000
*7001 $aGrädel, Erich$0(NO-TrBIB)97011077$_119383000
*7001 $aThomas, Wolfgang$d1947-$0(NO-TrBIB)3077191$_280630600
*7001 $aWilke, Thomas$0(NO-TrBIB)3061005$_119383100
*7760 $tAutomata logics, and infinite games : a guide to current research$w990319175934702201
*830 0$aLecture notes in computer science$v2500$_13074400
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/?isbn=3540003886
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540003885
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540003885
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/5/8/9783540003885.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/5/8/9783540003885.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/6/8/3540003886.jpg$qimage/jpeg
*901  $a80
*999  $aoai:nb.bibsys.no:990300886074702202$b2021-11-14T21:08:37Z$z990300886074702202
^