Подробное описание документа

Фоминых И. Б., Виньков М. М., Пожидаев А. К.
   Активная логика и логическое программирование: объединение двух концепций / Фоминых И. Б., Виньков М. М., Пожидаев А. К. // Программные продукты и системы. - 2015. - № 3. - С. 42-48.

УДК

004.832.3 Логический вывод

Авторы МГТУ

• Виньков Михаил Михайлович

Статья опубликована в следующих изданиях