Skip navigation
Главная
Просмотреть
Разделы
и коллекции
Посмотреть:
По дате
По автору
По заглавию
По тематике
Справка
Язык
English
русский
Зарегистрированным:
Авторизация
Обновления на e-mail
Редактировать профиль
Электронный архив ТПУ
Поиск
Поиск:
Весь архив электронных ресурсов
Наука
Образование
Университетская жизнь
запрос
Текущие фильтры:
По заглавию
По автору
По тематике
По дате
Равно
Содержит
Идентификатор
Не равно
Не содержит
Не идентификатор
По заглавию
По автору
По тематике
По дате
Равно
Содержит
Идентификатор
Не равно
Не содержит
Не идентификатор
По заглавию
По автору
По тематике
По дате
Равно
Содержит
Идентификатор
Не равно
Не содержит
Не идентификатор
По заглавию
По автору
По тематике
По дате
Равно
Содержит
Идентификатор
Не равно
Не содержит
Не идентификатор
Начать новый поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
По заглавию
По автору
По тематике
По дате
Равно
Содержит
Идентификатор
Не равно
Не содержит
Не идентификатор
Результаты 1-5 из 5.
назад
1
дальше
Найденные ресурсы:
Дата публикации
Название
Авторы
2008
Реализация эффективного алгоритма синтеза линейных функциональных программ
Новосельцев, Виталий Борисович
;
Пинжин, Алексей Евгеньевич
2008
Об использовании в программировании проблемно-ориентированных языков
Васильев, Сергей Сергеевич
;
Новосельцев, Виталий Борисович
2008
Преимущества дескриптивной логики при обработке знаний
Вахитов, Александр Робертович
;
Новосельцев, Виталий Борисович
2008
Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов
Новосельцев, Виталий Борисович
2008
Эффективный алгоритм синтеза программ с условиями и подпрограммами
Пинжин, Алексей Евгеньевич
;
Новосельцев, Виталий Борисович
Фильтр
По автору
2
Пинжин, Алексей Евгеньевич
1
Васильев, Сергей Сергеевич
1
Вахитов, Александр Робертович
По тематике
2
линейные функции
2
синтез
2
функциональные связи
1
абстракция
1
алгоритмы
1
алгоритмы синтеза
1
базовые термины
1
данные
1
дескриптивная логика
1
затраты
.
Вперед >