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

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка»	1	Перейти на сайт