| 000 | 02092nam a2200421 4500 | ||
|---|---|---|---|
| 001 | vtls000137355 | ||
| 003 | RU-ToGU | ||
| 005 | 20210910115420.0 | ||
| 008 | 020514s2001 ru a f b 000 0 rus d | ||
| 035 | _a0141-14360 | ||
| 040 |
_aRU-ToGU _brus _cRU-ToGU _ePSBO |
||
| 080 | _a510.643(043.3) | ||
| 080 | _a519.688:51(043.3) | ||
| 100 | 1 |
_aБурлуцкий, Владимир Владимирович. _9211148 |
|
| 245 | 1 | 0 |
_aРеализация обратного метода установления выводимости для модальной логики КТ _bДиссертация на соискание ученой степени кандидата физико-математических наук. 05.13.01 _cБурлуцкий В В. ; Науч. рук. Новосельцев В. Б. ; Томский гос. ун-т |
| 260 |
_aТомск _bб. и. _c2001 |
||
| 300 | _a101 л. | ||
| 504 | _aБиблиогр.: с. 93-101 | ||
| 653 | _aдиссертации. | ||
| 653 | _aмодальная логика. | ||
| 653 | _aМаслова метод. | ||
| 653 | _aобратный метод. | ||
| 653 | _aлогические выводы. | ||
| 653 | _aсемантика. | ||
| 653 | _aсинтаксис. | ||
| 653 | _aмультимножества. | ||
| 653 | _aсеквенция. | ||
| 653 | _aзадачи поиска вывода. | ||
| 653 | _aалгоритмы поиска. | ||
| 653 | _aнеклассические логики. | ||
| 653 | _aпрограммы автоматического поиска доказательств. | ||
| 653 | _aлогика знания. | ||
| 653 | _aбазы знаний. | ||
| 700 | 1 |
_aНовосельцев, Виталий Борисович. _eнауч. рук. _4ths _964147 |
|
| 710 | 2 |
_aТомский государственный университет. _953646 |
|
| 852 | 4 |
_aRU-ToGU _h1-876968к _i510 _nru |
|
| 999 | _c135544 | ||