|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
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
- Аннотация: Предложена полная аксиоматизация свойств точности и функциональности базисных моделей логики свидетельств.
- Добавил в систему: Крупский Владимир Николаевич