|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Замечание об одном методе автоматического доказательства теоремдоклад на конференции
- Автор: Слюсарев Иван Юрьевич
- Всероссийская Конференция : IX научной конференции студентов, аспирантов и молодых ученых «Философия в XXI веке: новые стратегии философского поиска» 6-10 декабря 2021 года
- Даты проведения конференции: 6-10 декабря 2021
- Дата доклада: 7 декабря 2021
- Тип доклада: Устный
- Докладчик: Слюсарев Иван Юрьевич
- Место проведения: Россия
- Добавил в систему: Слюсарев Иван Юрьевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|