| Маркер записи | n |
| Контрольный номер | RU/IS/BASE/612258879 |
| Дата корректировки | 7:51:47 28 мая 2019 г. |
| ISBN | 5-03-000972-8 |
| Вид содержания и средства доступа | 2-00 |
| Служба первич. каталог. |
Лапко БГТУ |
| Код языка каталог. | rus |
| Правила каталог. | PSBO |
| Код языка издания | rus |
| Индекс УДК | 519.85 |
| Полочн. индекс | 519.8 |
| Авторский знак | Л69 |
|
Робинсон, Дж. Дж. Робинсон |
|
|
Логическое программирование Текст сборник статей : пер. с англ. и фр. под ред. В. Н. Агафонова |
|
| Место издания | Москва |
| Издательство | Мир |
| Дата издания оригинала | 1988 |
| Объем | 366, [1] с. |
| Иллюстрации/ тип воспроизводства | ил. |
| Серия | Математическое обеспечение ЭВМ |
| Аннотация | Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. В сборник включен специально написанный обзор литературы по логическому программированию. |
|
логическое программирование программирование язык Пролог средства языка IC-PROLOG язык Логлисп |
|
| Другие авторы | Колмероэ, А. |
|
Ковальский, Р. Бранохе, М. Ханссон, А. Кларк, К. Хагия, М. Агафонов, В. Н. |
|
| Тип документа | m |
