| Индекс УДК | 519.85 |
|
Логическое программирование Текст сборник статей : пер. с англ. и фр. под ред. В. Н. Агафонова |
|
| Место издания | Москва |
| Издательство | Мир |
| Дата издания | 1988 |
| Объем | 366, [1] с. |
| Аннотация | Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. В сборник включен специально написанный обзор литературы по логическому программированию. |
| Другие авторы | Колмероэ, А. |
