Электронная библиотека Республики Карелия
Каталог
Поиск
Авторы
Обратная связь
Морозько Андрей Дмитриевич
Список опубликованных в библиотеке работ автора
Автор
Название
Формат
Год издания
Морозько Андрей Дмитриевич
Использование SMT-решателя для генерации случайных параметров задач по линейной алгебре
Документ PDF
2019
Алфавитный список авторов
А
Б
В
Г
Д
Е
Ж
З
И
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Э
Ю
Я
[
Каталоги
] [
Моя коллекция
] [
Расширенный поиск
] [
Добавить ресурс
] [
Обратная связь
] [
О проекте
] [
Пользовательское соглашение
]
Программно-техническое сопровождение:
Петрозаводский государственный университет
, 1998-2023
Ресурсы предоставляют:
Петрозаводский государственный университет
(1998-2023);
Национальная библиотека Республики Карелия
(1998-2023);
Карельская государственная педагогическая академия
(2007-2013)
Проект "Фольклорно-литературное наследие Русского Севера"
(2010-2011)
