|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Замечание об одном методе автоматического доказательства теоремдоклад на конференции
- Автор: Слюсарев Иван Юрьевич
- Всероссийская Конференция : IX научной конференции студентов, аспирантов и молодых ученых «Философия в XXI веке: новые стратегии философского поиска» 6-10 декабря 2021 года
- Даты проведения конференции: 6-10 декабря 2021
- Дата доклада: 7 декабря 2021
- Тип доклада: Устный
- Докладчик: Слюсарев Иван Юрьевич
- Место проведения: Россия
- Добавил в систему: Слюсарев Иван Юрьевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Подтверждение | Конференция_Философия_в_21_веке_-2021_год.pdf | 808,5 КБ | 21 марта 2025 [SlusarevIvan] |