LEADER 01335nam  2200361   450 
001 996574815303316
005 20230417183728.0
010   $a1-66544-895-4
035   $a(CKB)4100000011974766
035   $a(NjHacI)994100000011974766
035   $a(EXLCZ)994100000011974766
100   $a20230417d2021      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) $e29 June 2021-2 July 2021, Rome, Italy /$fInstitute of Electrical and Electronics Engineers
210  1$aPiscataway, New Jersey :$cIEEE,$d[2021]
210  4$dİ2021
215   $a1 online resource (1218 pages) $cillustrations
311   $a1-66544-896-2 
330   $aThe LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.
517   $a2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science 
606   $aLogic, Symbolic and mathematical$vCongresses
615  0$aLogic, Symbolic and mathematical
676   $a511.3
801  0$bNjHacI
801  1$bNjHacl
906   $aPROCEEDING
912   $a996574815303316
996   $a2021 36th Annual ACM$93089942
997   $aUNISA