Многотомник

Логика и компьютер / редкол.: И. М. Макаров [и др.]. – М. : Наука, 1990. – (Кибернетика - неограниченные возможности и возможные ограничения) .
Книга
32.973 Л694

[Т. 1] : Моделирование рассуждений и проверка правильности программ. – 1990. – 239 с.
Библиогр.: с. 231-234 (52 назв.).

ББК з973-01

Предметні рубрики = Энергетика, радиоэлектроника : радиоэлектроника : информационная и вычислительная техника : компьютеры и программирование : теория, исследование компьютеров и программирование
Предметні рубрики = Іменні фонди : іменний фонд Уйомова

0935734 Ф 1 - 10 комн.
0935735 Ф 1 - 10 комн.
0935733 Ф 1 - 10 комн.
0960754 Ф 1 - 10 комн.
1606315 ОФ