Глушков В.М./Р124
   Глушков, Виктор Михайлович.
Автоматизация поиска доказательств теорем математических теорий и интеллектуальные машины [Текст] / В. М. Глушков, Ю. В. Капитонова. - [К.] : [б. и.], [1972]. - [6] с.
Окр. відб. з журн.: Кибернетика. - 1972, сент.-окт.-№ 5. - С. 1-6.

Рубрикатор НБУВ:
 З973-018.210 
Тематичні рубрики:
 Теорія мов програмування 


Дод. точки доступу:
Капитонова, Ю. В.

Видання зберігається у :
Основний фонд