LEADER 01283nam  2200385   450 
001 9910169228303321
005 20230808201846.0
035   $a(CKB)3710000001156730
035   $a(WaSeSS)IndRDA00103760
035   $a(WaSeSS)IndRDA00120246
035   $a(EXLCZ)993710000001156730
100   $a20200313d2016      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science $e5-8 July 2016, New York, NY, USA /$fsponsored by IEEE Computer Society [and seven others]
210  1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers,$d2016.
215   $a1 online resource (901 pages)
311   $a1-4503-4391-0 
606   $aComputer logic$vCongresses
606   $aElectronic data processing$vCongresses
606   $aComputer programming$vCongresses
615  0$aComputer logic
615  0$aElectronic data processing
615  0$aComputer programming
676   $a004.015113
712 02$aIEEE Computer Society,
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a9910169228303321
996   $a2016 31st Annual ACM$92072142
997   $aUNINA