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