LEADER 01153nam  2200385   450 
001 9910412062903321
005 20230822025029.0
035   $a(CKB)5280000000243348
035   $a(NjHacI)995280000000243348
035   $a(EXLCZ)995280000000243348
100   $a20230822d2020      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science /$fHolger Hermanns
210  1$aNew York, NY :$cAssociation for Computing Machinery,$d2020.
210  4$dİ2020
215   $a1 online resource (986 pages)
311   $a1-4503-7104-3 
606   $aComputer logic
606   $aComputer logic$vCongresses
606   $aComputer programming
615  0$aComputer logic.
615  0$aComputer logic
615  0$aComputer programming.
676   $a004.015113
700   $aHermanns$b Holger$0555144
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910412062903321
996   $aProceedings of the 35th Annual ACM$93423487
997   $aUNINA