|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Natural Deduction System in Paraconsistent Setting: Proof Search for PContстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 31 июля 2016 г.
- Авторы: Bolotov A.E., Shangin V.
- Журнал: Journal of Intelligent Systems
- Том: 21
- Номер: 1
- Год издания: 2012
- Издательство: Freund Publishing House Ltd.
- Местоположение издательства: Israel
- Первая страница: 1
- Последняя страница: 24
- Добавил в систему: Шангин Василий Олегович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | jisys.2011.021_2.0_latest.pdf | 192,7 КБ | 10 июня 2012 [shangin] |