LEADER 01219oam  2200421zu 450 
001 9910141127203321
005 20241212220107.0
010   $a9780769544120
010   $a0769544126
035   $a(CKB)2670000000097642
035   $a(SSID)ssj0000669898
035   $a(PQKBManifestationID)12224676
035   $a(PQKBTitleCode)TC0000669898
035   $a(PQKBWorkID)10715021
035   $a(PQKB)11692631
035   $a(NjHacI)992670000000097642
035   $a(EXLCZ)992670000000097642
100   $a20160829d2011      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a2011 26th Annual IEEE Symposium on Logic in Computer Science
210 31$a[Place of publication not identified]$cIEEE$d2011
215   $a1 online resource
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9781457704512 
311 08$a145770451X 
606   $aComputer programming
615  0$aComputer programming.
676   $a001.642
702   $aIEEE Staff
801  0$bPQKB
906   $aPROCEEDING
912   $a9910141127203321
996   $a2011 26th Annual IEEE Symposium on Logic in Computer Science$92397740
997   $aUNINA