|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Tackling Incomplete System Speci cations Using Natural Deduction in the Paracomplete Settingдоклад на конференции
- Авторы: Шангин В.О., Bolotov A.E.
- Международная Конференция : The 38th Annual International Computers, Software & Applications Conference COMPSAC 2014
- Даты проведения конференции: 2014
- Тип доклада: не указан
- Докладчик: не указан
- Место проведения: Vasteras, Sweden, Sweden
- Добавил в систему: Шангин Василий Олегович