Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
| Источник: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 312, № 5 : Управление, вычислительная техника и информатика.— 2008.— [С. 94-97] |
|---|---|
| Главный автор: | |
| Примечания: | Заглавие с титульного листа Электронная версия печатной публикации Представлен механизм, обеспечивающий логический вывод для систем логического программирования типа Пролог. Предлагаемый подход отличается от стандартного метода резолюций и опирается на обратную стратегию в стиле С.Ю. Маслова. За счет введения строго очерченных ограничений на семантику входного языка удается достичь полноты и эффективной (полиномиальной) разрешимости используемой формальной теории. |
| Язык: | русский |
| Опубликовано: |
2008
|
| Серии: | Управление, вычислительная техника и информатика |
| Предметы: | |
| Online-ссылка: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v312/i5/21.pdf |
| Формат: | Электронный ресурс Статья |
| Запись в KOHA: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173281 |
MARC
| LEADER | 00000nla2a2200000 4500 | ||
|---|---|---|---|
| 001 | 173281 | ||
| 005 | 20231031164453.0 | ||
| 035 | |a (RuTPU)RU\TPU\book\187941 | ||
| 035 | |a RU\TPU\book\187922 | ||
| 090 | |a 173281 | ||
| 100 | |a 20091222d2008 k y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drnn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов |b Электронный ресурс |f В. Б. Новосельцев | |
| 203 | |a Текст |c электронный | ||
| 215 | |a 1 файл (212 Кб) | ||
| 225 | 1 | |a Управление, вычислительная техника и информатика | |
| 230 | |a Электронные текстовые данные (1 файл : 212 Кб) | ||
| 300 | |a Заглавие с титульного листа | ||
| 300 | |a Электронная версия печатной публикации | ||
| 320 | |a [Библиогр.: с. 97 (10 назв.)] | ||
| 330 | |a Представлен механизм, обеспечивающий логический вывод для систем логического программирования типа Пролог. Предлагаемый подход отличается от стандартного метода резолюций и опирается на обратную стратегию в стиле С.Ю. Маслова. За счет введения строго очерченных ограничений на семантику входного языка удается достичь полноты и эффективной (полиномиальной) разрешимости используемой формальной теории. | ||
| 337 | |a Adobe Reader | ||
| 461 | 1 | |0 (RuTPU)RU\TPU\book\176237 |t Известия Томского политехнического университета [Известия ТПУ] |f Томский политехнический университет (ТПУ) |d 2000- | |
| 463 | 1 | |0 (RuTPU)RU\TPU\book\187914 |x 1684-8519 |t Т. 312, № 5 : Управление, вычислительная техника и информатика |v [С. 94-97] |d 2008 |p 164 с. | |
| 610 | 1 | |a хорновские дизъюнкты | |
| 610 | 1 | |a системы логического программирования | |
| 610 | 1 | |a Пролог | |
| 610 | 1 | |a формальная теория | |
| 610 | 1 | |a труды учёных ТПУ | |
| 610 | 1 | |a электронный ресурс | |
| 700 | 1 | |a Новосельцев |b В. Б. |c профессор каф. оптимизации систем управления Института «Кибернетический центр» ТПУ |c доктор физико-математических наук |f 1955- |g Виталий Борисович |2 stltpush |3 (RuTPU)RU\TPU\pers\25404 | |
| 801 | 1 | |a RU |b 63413507 |c 20090623 |g PSBO | |
| 801 | 2 | |a RU |b 63413507 |c 20211207 |g PSBO | |
| 856 | 4 | |u http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v312/i5/21.pdf | |
| 942 | |c CF | ||