Natural Deduction System in Paraconsistent Setting: Proof Search for PContстатья

Информация о цитировании статьи получена из Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 31 июля 2016 г.

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

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен
1. Полный текст jisys.2011.021_2.0_latest.pdf 192,7 КБ 10 июня 2012 [shangin]

[1] Bolotov A. E., Shangin V. Natural deduction system in paraconsistent setting: Proof search for pcont // Journal of Intelligent Systems. — 2012. — Vol. 21, no. 1. — P. 1–24.

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