Наукова бібліотека Українського державного університету науки і технологій

Головна

Бази даних

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

Вид пошуку

Каталог книг

Каталог книг НМетАУ (до 2022 року)

Періодичні видання (друковані)

Статті, доповіді, тези

Рідкісні та цінні видання

Охоронні документи

Мережеві ресурси

Зона пошуку

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

Пошуковий запит: <.>A=Чень, Ч.@<.>

Загальна кількість знайдених документів : 1

   510
   Ч 43

    Чень, Ч.
    Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли ; пер. Г. В. Давыдов ; под ред. С. Ю. Маслова. - Москва : Наука, 1983. - 358 с. - (Математическая логика и основания математики). - Библиогр.: с. 333-349. - Библиогр. в конце глав. - Алф. указ.: с. 350-358. - 2.20 р.

ДРНТІ	27.03
УДК	510.6

Рубрики: Математика

Дод.точки доступу:
Ли, Р.; Давыдов, Г. В. \пер.\; Маслов, С. Ю. \ред.\
Примірників всього: 5
АНЛ (5)
Свободны: АНЛ (5)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)