Распределенное моделирование дискретных систем управления технологических машинтельных механизмов и т. п. Формальным ядром проекта выбрано
логическое описание в виде системы предикатных формул
Логическое и интуитивное в научном познанииЛогическое и интуитивное в научном познании
Логическое программированиеЛогическое программирование [Электронный ресурс] / разраб. Е. М. Ефимова
// Примерная основная
Логическое программированиеЛогическое программирование [Электронный ресурс] / разраб. Е. А. Ефимова
// Примерная основная
Логическое программированиеЛогическое программирование [Электронный ресурс] : (части 1 - 2) : учеб.-метод. комплекс для