517.11 Ч-43 Чень, Ч.     Математическая логика и автоматическое доказательство теорем [Текст] / пер. с англ.: Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной ; под ред. С. Ю. Маслова. — М. : Наука, 1983. — 358 с.

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека Тернопільського національного педагогічного університету імені Володимира Гнатюка	1	Перейти на сайт