Статья

Головко, Н. В.
К вопросу о построении эффективного вычислимого представления для простого абдуктивного вывода / Н. В. Головко // Философия науки : Научное изд. по философии,методологии и логике естественных наук. – 11/2006. – N4. – С.115-133.


Ключевые слова = абдуктивный вывод
Ключевые слова = метод семантических таблиц