Encyclopedia of Mathematics
Formalization_method
https://www.encyclopediaofmath.org/index.php/Formalization_method
Входящие связи
← close match · 1
Внешние ссылки
- https://www.encyclopediaofmath.org/index.php/Formalization_method (Encyclopedia of Mathematics)