Вычисление значений логических формул на конечных моделях в системах представления знания
Дичев, Христо Василев, 1979, кандидатская диссертация
- 01.01.10
Киев
162 стр.
Другие работы по этой специальности
- Пропаганда интернационального воспитания трудящихся и дружбы народов на страницах городских газет Грузии, 1975-1980 гг.
Долидзе, Мака Отаровна · 1986 · Канд. наук
- 01.01.10
- Проблемно-ориентированная система для матричных вычислений
Козуб, Галина Эрленовна · 1985 · Канд. наук
- 01.01.10
- Программно-аппаратные средства системы управления промышленного робота
Смольянов, Юрий Павлович · 1984 · Канд. наук
- 01.01.10
- Представление и обработка темпоральной информации в интеллектуальных системах
Кандрашина, Елена Юрьевна · 1984 · Канд. наук
- 01.01.10