Приложения неклассической пропозициональной логики в задачах верификации логического следования
Репозиторий электронной библиотеки/Manakin
Приложения неклассической пропозициональной логики в задачах верификации логического следования
| dc.contributor.author | Сметанин, Ю. М. | |
| dc.date.accessioned | 2018-10-25T05:32:58Z | |
| dc.date.available | 2018-10-25T05:32:58Z | |
| dc.date.issued | 2018 | |
| dc.identifier.uri | http://elibrary.udsu.ru/xmlui/handle/123456789/17761 | |
| dc.language.iso | ru | ru_RU |
| dc.title | Приложения неклассической пропозициональной логики в задачах верификации логического следования | ru_RU |
| dc.type | Article | ru_RU |
Файлы материала
| Имя файла | Размер | Формат | Просмотр |
|---|---|---|---|
| 735.pdf | 979.2Kb |
|