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

Базы данных


БД "Электронный каталог РНТБ"- результаты поиска

Вид поиска
Тестовая библиотечная БД
БД "Электронный каталог РНТБ"
БД "Регистрационная картотека периодических изданий РНТБ"
БД "Стандарты"
БД "Диссертации"
БД "Нормативно-техническая документация"
БД "Промышленные каталоги"
БД "Генеральный сводный каталог РНТБ и филиалов"
БД "Полнотекстовые ресурсы удаленного доступа"
БД "Нормативно-технические документы РНТБ и филиалов. Сводный каталог"
Область поиска
 Найдено в других БД:БД "Генеральный сводный каталог РНТБ и филиалов" (3)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>A=Ли, Р.$<.>
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
   51/Ч-438

    Чень, Ч.
    Математическая логика и автоматическое доказательство теорем [Текст] : пер.с англ. / Ч. Чень, Р. Ли. - М. : Наука, 1983. - 358 с. - (Математическая логика и основания математики). - Библиогр. в конце глав. - Б. ц.
ГРНТИ
27.41
УДК
519.6
Рубрики: Математическая логика


Доп.точки доступа:
Ли, Р.
Экземпляры всего: 3
ХР (3)
Свободны: ХР (3)
Найти похожие
2.
   62-5/Л 550

    Ли, Р.
    Оптимальные оценки, определение характеристик и управление [Текст] : пер.с англ. / Р. Ли. - М. : Наука, 1966. - 176 с. : черт. - Библиогр.: с.170-174. - Б. ц.
ГРНТИ
28.19
УДК
681.51.015.24
Рубрики: Автоматическое управление, оптимальное

Экземпляры всего: 2
ХР (2)
Свободны: ХР (2)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)