Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Электронный каталог книг и продолжающихся изданий- результаты поиска

Вид поиска
Авторефераты диссертаций и диссертации
Отечественные журналы
Препринты
Электронный каталог книг и продолжающихся изданий
База ученого секретаря
Пресса об ИЯФ
Труды сотрудников ИЯФ (пополняемая)
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Логика (мат.) -- Теория алгоритмов<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

Вид документа : Однотомное издание
Шифр издания : В127/М 21
Автор(ы) : Мальцев, Анатолий Иванович, Захаров Д. А.
Заглавие : Алгоритмы и рекурсивные функции . -Изд. 2-е
Выходные данные : Москва: Наука, 1986
Колич.характеристики :367 с. ; 21 см.
Примечания : Прил.: Диофантность рекурсивно перечислимых множеств и предикатов / Д. А. Захаров :
ГРНТИ : 27.03
ББК : В127
Предметные рубрики: Логика (мат.)-- Теория алгоритмов
Экземпляры :кх(1)
Свободны : кх(1)
Перейти к внешнему ресурсу: Оглавление
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : В127/М 21
Автор(ы) : Мальцев, Анатолий Иванович
Заглавие : Алгоритмы и рекурсивные функции
Выходные данные : Москва: Наука, 1965
Колич.характеристики :391 с. ; 21 см. :
ГРНТИ : 27.03
ББК : В127
Предметные рубрики: Логика (мат.)-- Теория алгоритмов
Экземпляры :кх(1)
Свободны : кх(1)
Перейти к внешнему ресурсу: Оглавление
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)