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

Базы данных


Книги- результаты поиска

Вид поиска
Книги
Авторефераты
Аудиовизуальный фонд
Фонд редкой книги
Труды преподавателей
Периодические издания
Выпускные квалификационные работы
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: <.>A=Чень, Ч.$<.>
Общее количество найденных документов : 1
1.
22.122
Ч-43

    Чень, Ч.
    Математическая логика и автоматическое доказательство теорем [Текст] / Ч. Чень, Р. Ли ; ред. С. Ю. Маслова. - М. : Наука, 1983. - 360 с. - (Математическая логика и основания математики). - 2.20 р.
ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- теорема Эрбрана -- метод резолюций


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