МГУ имени М.В. Ломоносова
Помощь
Пользователь
Имя пользователя
Пароль
Запомнить меня
Уведомления
Посмотреть
Подписаться
/
Отписаться
Язык
English
Русский
Контент конференции
Поиск
Все
Авторы
Название
Аннотации
Слова
Полный текст
Информация о конференции
»
Обзор
»
Направления (секции)
»
Программа
»
Доклады конференции (презентации)
»
Расписание конференции
»
Регистрация
»
Размещение
»
Организаторы и партнеры
»
График
Листать
По конференциям
По авторам
по заглавиям
Размер шрифта
Международный научный журнал
Информация о журнале
Для авторов
Международный научный журнал
Начало
О нас
Вход
Учетная запись
Поиск
Текущая Конференция
Архив мероприятий
Объявления
Начало
>
Поиск
>
Информация об авторе
Информация об авторе
Namiot, Dmitry, Lomonosov Moscow State University, Россия
VI Международная научная конференция «Конвергентные когнитивно-информационные технологии»
- Большие данные и приложения
On Formal Verification of Machine Learning Systems
Реферат