А 65798 Давыдов, Г. В.     О методах поиска вывода в исчислении предикатов [Текст] : Автореф... канд. физ.-мат.наук: 007 / Давыдов Г.В.; АН СССР. Математ. ин-т. — Л., 1969. — 13л.

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка	1	Перейти на сайт