LEADER 01263oam 2200409zu 450 001 9910872734103321 005 20241212215055.0 035 $a(CKB)111055184227364 035 $a(SSID)ssj0000454850 035 $a(PQKBManifestationID)12194223 035 $a(PQKBTitleCode)TC0000454850 035 $a(PQKBWorkID)10398237 035 $a(PQKB)10914578 035 $a(NjHacI)99111055184227364 035 $a(EXLCZ)99111055184227364 100 $a20160829d2002 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$a17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002) 210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2002 215 $a1 online resource (461 pages) 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780769514833 311 08$a0769514839 606 $aComputer science$xMathematics 615 0$aComputer science$xMathematics. 676 $a004.0151 700 $aIEEE Staff$01058242 702 $aIEEE Staff 801 0$bPQKB 906 $aPROCEEDING 912 $a9910872734103321 996 $a17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002)$94434769 997 $aUNINA