Чертов, Олег Романович - Средства логического вывода в системах аналитических вычислений : автореферат дис. ... кандидата технических наук : 05.13.11

Экспресс-заказ фрагмента
Чертов, Олег Романович.
Средства логического вывода в системах аналитических вычислений : автореферат дис. ... кандидата технических наук : 05.13.11 / Киев. политехн. ин-т. - Киев, 1991. - 16 с.

Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Шифр хранения:
FB 9 91-4/246-7
FB 9 91-4/247-5

Marc21

Скачать marc21-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеСредства логического вывода в системах аналитических вычислений : автореферат дис. ... кандидата технических наук : 05.13.11
Коллекции ЕЭК РГБ Каталог авторефератов диссертаций
Дата поступления в ЭК 03.09.1991
Каталоги Авторефераты диссертаций
Сведения об ответственностиКиев. политехн. ин-т
Выходные данныеКиев, 1991
Физическое описание16 с.
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
BBK-кодЗ973.21-018,0
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места храненияFB 9 91-4/246-7
FB 9 91-4/247-5