|
ВИДЕОТЕКА |
Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
|
|||
|
First-order classification and non-standard models Alexei Miasnikov Stevens Institute of Technology |
|||
Язык доклада: английский |