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

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

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

Marc21

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

Показать

Описание

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