LEADER 01040nam 2200337 450 001 9910139850703321 005 20180305132045.0 010 $a1-5090-8151-8 035 $a(CKB)1000000000812033 035 $a(WaSeSS)IndRDA00093390 035 $a(EXLCZ)991000000000812033 100 $a20180305d2008 || | 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a2008 49th Annual IEEE Symposium on Foundations of Computer Science $e25-28 October 2008 210 1$aNew York :$cIEEE,$d2008. 215 $a1 online resource (835 pages) 311 $a0-7695-3436-8 606 $aElectronic data processing$vCongresses 606 $aMachine theory$vCongresses 615 0$aElectronic data processing 615 0$aMachine theory 801 0$bWaSeSS 801 1$bWaSeSS 906 $aPROCEEDING 912 $a9910139850703321 996 $a2008 49th Annual IEEE Symposium on Foundations of Computer Science$92378515 997 $aUNINA