Նորմալ դիտում MARC դիտում ISBD Դիտում

Автоматизация поиска доказательства теорем в математике / АН УССР. Ин-т кибернетики ; Отв. ред. Ю.В. Капитонов ; Отв. за вып. З.М. Сельдеров. - Киев : Изд-во ин-та кибернетики АН УССР, 1974. - 110 с.

Subjects--Topical Terms:
Прикладная математика