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