Черкашин, Евгений Александрович - Программная система КВАНТ/1 для автоматического доказательства теорем : диссертация ... кандидата технических наук : 05.13.11

Черкашин, Евгений Александрович.
Экспресс-заказ фрагмента
Черкашин, Евгений Александрович.
Программная система КВАНТ/1 для автоматического доказательства теорем : диссертация ... кандидата технических наук : 05.13.11. - Иркутск, 1999. - 155 с. : ил.

Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Шифр хранения:
OD 61 00-5/1416-6

Marc21

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

Показать

Описание

Автор
ЗаглавиеПрограммная система КВАНТ/1 для автоматического доказательства теорем : диссертация ... кандидата технических наук : 05.13.11
Коллекции ЕЭК РГБ Каталог диссертаций
Коллекции ЭБ Диссертации
Дата поступления в ЕЭК 27.03.2000
Дата поступления в ЭБ 25.02.2002
Каталоги Диссертации
Выходные данныеИркутск, 1999
Физическое описание155 с. : ил.
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
BBK-кодВ121с31,03
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места храненияOD 61 00-5/1416-6
Электронный адрес Электронный ресурс