|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Исследование методов формальной верификации искусственных нейронных сетейтезисы доклада
- Авторы: Ильюшин Евгений Альбинович, Тонких А.А., Строева Е.Н.
- Сборник: Ломоносовские чтения-2022: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов
- Серия: СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ
- Том: 2022
- Тезисы
- Глава в коллективной монографии
- Год издания: 2022
- Издательство: ООО "МАКС Пресс"
- Местоположение издательства: Москва
- Первая страница: 200
- Последняя страница: 201
- Добавил в систему: Врагова Елена Юрьевна