Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 312, № 5 : Управление, вычислительная техника и информатика.— 2008.— [С. 94-97] |
|---|---|
| 主要作者: | |
| 总结: | Заглавие с титульного листа Электронная версия печатной публикации Представлен механизм, обеспечивающий логический вывод для систем логического программирования типа Пролог. Предлагаемый подход отличается от стандартного метода резолюций и опирается на обратную стратегию в стиле С.Ю. Маслова. За счет введения строго очерченных ограничений на семантику входного языка удается достичь полноты и эффективной (полиномиальной) разрешимости используемой формальной теории. |
| 语言: | 俄语 |
| 出版: |
2008
|
| 丛编: | Управление, вычислительная техника и информатика |
| 主题: | |
| 在线阅读: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v312/i5/21.pdf |
| 格式: | 电子 本书章节 |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173281 |