Абдуллаева, Махпуза - Системы логического вывода, основанные на методе резолюций : автореферат дис. ... кандидата физико-математических наук : 01.01.09

Карточка

Абдуллаева, Махпуза.

Системы логического вывода, основанные на методе резолюций : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Ташкент. ун-т. - Ташкент, 1991. - 19 с.
Математическая кибернетика
FB 9 91-6/1597-5
FB 9 91-6/1598-3

Marc21

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

Показать

Описание

Автор
ЗаглавиеСистемы логического вывода, основанные на методе резолюций : автореферат дис. ... кандидата физико-математических наук : 01.01.09
Дата поступления в ЭК 15.01.1992
Каталоги Авторефераты диссертаций
Сведения об ответственностиТашкент. ун-т
Выходные данныеТашкент, 1991
Физическое описание19 с.
ТемаМатематическая кибернетика
BBK-кодВ123,03
В127,03
З813с116,0
Специальность01.01.09: Дискретная математика и математическая кибернетика
ЯзыкРусский
Места храненияFB 9 91-6/1597-5
FB 9 91-6/1598-3