TY  - BOOK
AU  - Попов,С.В.
TI  - Логическое моделирование
SN  - 5895130496
PY  - 2006///
CY  - Москва
PB  - Тровант
KW  - логическое моделирование
KW  - предметные области, моделирование
KW  - логическое исчисление
KW  - логический формализм
KW  - комбинаторные задачи
KW  - логическая семантика
KW  - логический синтаксис
KW  - программирование логическое
KW  - программирование операторное
KW  - точки неподвижные
KW  - стратегии поиска решений
KW  - множественность решений задач
KW  - логики модальные
KW  - Покос, программа
KW  - системы принятия решений
KW  - язык управления решением
KW  - логическое кодирование
KW  - искусственный интеллект
N1  - Библиогр.: с. 254-255
ER  -