|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Алгебраическая система на решетке типов для верификации и рефакторингадоклад на конференции
- Авторы: Шурлин М.Д., Махортов С.Д.
- Всероссийская с международным участием Конференция : Тринадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2012
- Даты проведения конференции: 16-20 октября 2012
- Тип доклада: не указан
- Докладчик: не указан
- Место проведения: Белгород, Russia
- Добавил в систему: Махортов Сергей Дмитриевич