Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: автореферат диссертации на соискание ученой степени кандидата технических наук; Спец. 05.13.01
| 1. autor: | |
|---|---|
| Korporacja: | |
| Kolejni autorzy: | |
| Streszczenie: | Защита сост. 21.12.2005 г. |
| Język: | rosyjski |
| Wydane: |
Томск, [Б. и.], 2005
|
| Hasła przedmiotowe: | |
| Format: | Książka |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=88435 |