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

   Статья

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

УДК

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

Авторы МГТУ

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

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

с. 42-48

   Журнал

   Программные продукты и системы.
   № 3. - 2015.

подробнее