Национальная библиотека Республики Дагестан им. Р. Гамзатова

Главная

Упрощенный режим

Описание

Базы данных

Каталог Национальной Библиотеки Республики Дагестан- результаты поиска

Вид поиска

Каталог Национальной Библиотеки Республики Дагестан

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: <.>S=Теоремы<.>

Общее количество найденных документов : 1

510
Ч-43

Чень, Ч.
Математическая логика и автоматическое доказательство теорем [Текст] / Ч. Чень, Р. Ли ; перевод с английского Г. В. Давыдова [и др.], под редакцией С. Ю. Маслова. - Москва : Наука, 1983. - 358 с. ; 22 см. - (Математическая логика и основания математики). - 8500 экз.. - (в пер.) : 2.20 р.
Перевод изд.: Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee (New York etc., 1973)

РУБ 510
Рубрики: Математическая логика
Теоремы

Доп.точки доступа:
Ли, Р.; Давыдов, Г. В. \пер.\; Маслов, С. Ю. \ред.\
~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)