Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: автореферат диссертации на соискание ученой степени кандидата технических наук; Спец. 05.13.01
| Prif Awdur: | |
|---|---|
| Awdur Corfforaethol: | |
| Awduron Eraill: | |
| Crynodeb: | Защита сост. 21.12.2005 г. |
| Iaith: | Rwseg |
| Cyhoeddwyd: |
Томск, [Б. и.], 2005
|
| Pynciau: | |
| Fformat: | Llyfr |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=88435 |