LEADER 00974oam 2200313zu 450 001 996200684203316 005 20210807003530.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(EXLCZ)99111055184227364 100 $a20160829d2002 uy 101 0 $aeng 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 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-7695-1483-9 702 $aIEEE Staff 801 0$bPQKB 906 $aPROCEEDING 912 $a996200684203316 996 $a17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002)$92383887 997 $aUNISA