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

Карточка

Черкашин, Евгений Александрович.
Черкашин, Евгений Александрович.

Программная система КВАНТ/1 для автоматического доказательства теорем : диссертация ... кандидата технических наук : 05.13.11. - Иркутск, 1999. - 155 с. : ил.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
OD 61 00-5/1416-6

Документ охраняется авторским правом. Полный текст доступен в РГБ и виртуальных читальных залах. Читать 

Marc21

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

Показать

Описание

Автор
ЗаглавиеПрограммная система КВАНТ/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
Электронный адрес Электронный ресурс