|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Settingтезисы доклада Тезисы
Информация о цитировании статьи получена из
Web of Science
Дата последнего поиска статьи во внешних источниках: 3 июля 2019 г.
- Авторы: Болотов А.Е., Шангин В.О.
- Сборник: 2014 IEEE 38th Annual International Computers, Software and Applications Conference
- Тезисы
- Год издания: 2014
- Издательство: Institute of Electrical and Electronics Engineers
- Местоположение издательства: Piscataway, NJ, United States
- Первая страница: 91
- Последняя страница: 96
- Добавил в систему: Шангин Василий Олегович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | bolotov2014.pdf | 164,2 КБ | 12 февраля 2019 [shangin] |