Верификация следования в неклассической пропозициональной многозначной логике
Репозиторий электронной библиотеки/Manakin
Верификация следования в неклассической пропозициональной многозначной логике
| dc.contributor.author | Сметанин, Ю. М. | |
| dc.contributor.author | Сметанина, Л. П. | |
| dc.date.accessioned | 2017-10-03T10:49:10Z | |
| dc.date.available | 2017-10-03T10:49:10Z | |
| dc.date.issued | 2017 | |
| dc.identifier.uri | http://elibrary.udsu.ru/xmlui/handle/123456789/16468 | |
| dc.language.iso | ru | ru_RU |
| dc.title | Верификация следования в неклассической пропозициональной многозначной логике | ru_RU |
| dc.type | Thesis | ru_RU |
Файлы материала
| Имя файла | Размер | Формат | Просмотр |
|---|---|---|---|
| 118.pdf | 642.0Kb |
|