Грицук, И. П. 
О прoграммирoвании дoказательств на УЦВМ [Текст] / Грицук И. П. ; Науч. совет по кибернетике Акад. наук УССР [и др.]. - Киев : [б. и.], 1964. - 18 с. : схем. - (Материалы научных семинаров по теоретическим и прикладным вопросам кибернетики. Семинар "Теория автоматов").



Автор: Грицук И. П.

Другие авторы: Дун С. Л.

Основное заглавие: О программировании доказательств на УЦВМ

Ответственность: Науч. совет по кибернетике Акад. наук УССР [и др.]

Физический носитель: Текст

Год публикации: 1964

Место издания: Киев

Издательство: [б. и.]

Объем: 18 с.

Cерия: Материалы научных семинаров по теоретическим и прикладным вопросам кибернетики

Ключевые слова: Цифровые вычислительные машины; Программирование;

ББК: 32.973.2-018я431

1217358
Грицук, И. П. 
О прoграммирoвании дoказательств на УЦВМ [Текст] / Грицук И. П. ; Науч. совет по кибернетике Акад. наук УССР [и др.]. - Киев : [б. и.], 1964. - 18 с. : схем. - (Материалы научных семинаров по теоретическим и прикладным вопросам кибернетики. Семинар "Теория автоматов").
ББК 32.973.2-018я431
1217358-кх;
Находится: СОУНБ | Чтобы заказать это издание, а так же его копию, вам необходимо авторизоваться на нашем сайте.
№ Инвентарный
номер		 Сигла Статус Дата возврата
1 1217358 кх Доступна -