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

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського	1	Перейти на сайт
Науково-технічна бібліотека Харківського національного економічного університету імені Семена Кузнеця	1	Перейти на сайт