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