Логин:
Пароль:
XIII Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям
г. Новосибирск, 15-17 октября 2012 г.
Вход
Батраков, Виталий Алексеевич
Программист
ИСИ СОРАН
Россия, Новосибирcк
Доклад
Батраков В.А.
*
Автоматическое доказательство формул корректности предикатной программы в системе Russell
*
ИСИ СОРАН (Новосибирcк), Россия
К списку участников
Новости и объявления
Информационное сообщение
Научные направления
Схема проведения конференции
Проживание
Важные даты
Место проведения
Представление материалов
Предыдущие конференции
Доклады
Регистрация/Вход