LEADER 01378oam  2200445zu 450 
001 9910140832903321
005 20241212220004.0
010   $a9781424475896
010   $a1424475899
035   $a(CKB)2670000000038218
035   $a(SSID)ssj0000452714
035   $a(PQKBManifestationID)12194523
035   $a(PQKBTitleCode)TC0000452714
035   $a(PQKBWorkID)10472047
035   $a(PQKB)11438831
035   $a(NjHacI)992670000000038218
035   $a(EXLCZ)992670000000038218
100   $a20160829d2010      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a2010 25th Annual IEEE Symposium on Logic in Computer Science
210 31$a[Place of publication not identified]$cI E E E$d2010
215   $a1 online resource $cillustrations
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9781424475889 
311 08$a1424475880 
606   $aComputer science$xMathematics$vCongresses
606   $aLogic, Symbolic and mathematical$vCongresses
615  0$aComputer science$xMathematics
615  0$aLogic, Symbolic and mathematical
676   $a004.0151
702   $aIEEE Staff
801  0$bPQKB
906   $aPROCEEDING
912   $a9910140832903321
996   $a2010 25th Annual IEEE Symposium on Logic in Computer Science$92399007
997   $aUNINA