Automated First Order Natural Deductionстатья

Информация о цитировании статьи получена из Scopus
Дата последнего поиска статьи во внешних источниках: 17 октября 2017 г.

Работа с статьей


[1] Automated first order natural deduction / A. Bolotov, V. Bocharov, A. Gorchakov, V. Shangin // Proceedings of the 2nd Indian International Conference on Artificial Intelligence. — IICAI, 2005. — P. 1292–1311.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть