График выхода изданий
-
№3 Сентябрь 2024
-
№4 Декабрь 2024
Статьи по ключевому слову "логический вывод"
Эффективная программная реализация обратного метода Маслова для интуиционистской логики
- Год: 2017
- Том: 10
- Выпуск: 1
- 78
- 5866
- Страницы: 49-62