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