Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
On the sharpness and the single-conclusion property of basic justification models
статья
Информация о цитировании статьи получена из
Web of Science
,
Scopus
Дата последнего поиска статьи во внешних источниках: 9 декабря 2020 г.
Автор:
Krupski Vladimir N.
Сборник:
Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings
Редактор:
Артемов Сергей Николаевич
Серия:
Lecture Notes in Computer Science
Том:
10703
Год издания:
2018
Место издания:
Springer Cham
Первая страница:
211
Последняя страница:
220
DOI:
10.1007/978-3-319-72056-2_13
Аннотация:
Предложена полная аксиоматизация свойств точности и функциональности базисных моделей логики свидетельств.
Добавил в систему:
Крупский Владимир Николаевич