RUS
ENG
Full version
VIDEO LIBRARY
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 7, 2022
15:30
, Moscow, MSU Lomonosov Hall
Automated reasoning with continuous data
M. V. Korovina
©
Steklov Math. Inst. of RAS
, 2024