Приложения неклассической пропозициональной логики в задачах верификации логического следования
Репозиторий электронной библиотеки/Manakin
Приложения неклассической пропозициональной логики в задачах верификации логического следования
| Title: | Приложения неклассической пропозициональной логики в задачах верификации логического следования |
| Author: | Сметанин, Ю. М. |
| URI: | http://elibrary.udsu.ru/xmlui/handle/123456789/17761 |
| Date: | 2018 |
Файлы материала
| Имя файла | Размер | Формат | Просмотр |
|---|---|---|---|
| 735.pdf | 979.2Kb |
|