|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
From Computer Assisted Math to Computer Driven Math. Computations vs Foundationsдоклад на конференции
- Автор: Семенов А.Л.
- Международная Конференция : III International Conference "Сomputer Assisted Mathematics"
- Даты проведения конференции: 25-27 июля 2023
- Дата доклада: 25 июля 2023
- Тип доклада: Пленарный
- Докладчик: Семенов А.Л.
- Место проведения: Санкт-Петербург, Russia
- Добавил в систему: Семенов Алексей Львович