MoL-2023-35: Kirill Kopnev Dynamic logics of polyhedra and their application in 3D modeling 1.Full Text, 2.Abstract. < Back
