|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Natural Deduction System in Paraconsistent Setting: proof search for PContтезисы доклада
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 3 июля 2019 г.
- Авторы: Bolotov A.E., Shangin V.O.
- Сборник: Proceedings of the 5th Indian International Conference on Artificial Intelligence, IICAI 2011
- Тезисы
- Год издания: 2011
- Первая страница: 632
- Последняя страница: 640
- Аннотация: https://dblp.uni-trier.de/db/conf/iicai/iicai2011.html
- Добавил в систему: Шангин Василий Олегович