01153nam 2200385 450 991041206290332120230822025029.0(CKB)5280000000243348(NjHacI)995280000000243348(EXLCZ)99528000000024334820230822d2020 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierProceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science /Holger HermannsNew York, NY :Association for Computing Machinery,2020.©20201 online resource (986 pages)1-4503-7104-3 Computer logicComputer logicCongressesComputer programmingComputer logic.Computer logicComputer programming.004.015113Hermanns Holger555144NjHacINjHaclBOOK9910412062903321Proceedings of the 35th Annual ACM3423487UNINA