Вы здесь

Пономарев Д. К.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Polynomial Time Delta-Decomposition Algorithm for Positive DNFs 2019 Пономарев Д. К. Lecture Notes in Artificial Intelligence LNCS 17.06.2019
СТ Алгоритмические вопросы конъюнктивной декомпозиции булевых формул 2015 Емельянов П. Г., Пономарев Д. К. Программирование 21.07.2015
СТ Вероятностное обоб ение формальных понятий 2012 Витяев Е. Е., Демин А. В., Пономарев Д. К. Программирование 04.12.2012
П Проблема разложимости при формальном описании знаний 2006 Пономарев Д. К. ИСИ СО РАН 21.03.2011
Д Синтаксическая однозначность при представлении знаний в логике первого порядка 2006 Пономарев Д. К. 10.01.2007
А Синтаксическая однозначность при представлении знаний в логике первого порядка 2006 Пономарев Д. К. 10.01.2007
СТ Задача разложимости элементарных теорий и проблематика минимализации их аксиом 2006 Пономарев Д. К. Технологии Microsoft в теории и практике программирования 31.03.2006