Коровина Маргарита Владимировна

Доклады и лекции в базе данных Math-Net.Ru

1. Automated Reasoning with Continuous Data
   M. V. Korovina
   Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
   8 марта 2024 г. 14:00   
2. Automated reasoning with continuous data
   М. В. Коровина
   Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
   7 ноября 2022 г. 15:30