|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
2014 IEEE 38th Annual International Computers, Software and Applications Conferenceсборник
- Год издания: 2014
- Издательство: Institute of Electrical and Electronics Engineers
- Местоположение издательства: Piscataway, NJ, United States
- Сборник тезисов
- Добавил в систему: Шангин Василий Олегович
Статьи, опубликованные в сборнике
-
- 2014 Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting
- Болотов А.Е., Шангин В.О.
- в сборнике 2014 IEEE 38th Annual International Computers, Software and Applications Conference, издательство Institute of Electrical and Electronics Engineers (Piscataway, NJ, United States), тезисы, с. 91-96