RUS  ENG
Full version
SEMINARS
Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
March 8, 2024 14:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems

Automated Reasoning with Continuous Data

M. V. Korovina




Language: English

Website: https://youtu.be/L0IT0RXrKcI

© Steklov Math. Inst. of RAS, 2025