Normal view
MARC view
Logic, Symbolic and mathematical Congresses (Topical Term)
Machine generated authority record.
Work cat.: (OSt)274079: Computer science – theory and applications : 12th international computer science symposium in Russia proceedings, CSR 2017, Kazan, Russia, June 8-12, 2017, 2017