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

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

Математическая кибернетика
Шифр хранения:
FB 9 91-6/1597-5
FB 9 91-6/1598-3

Marc21

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

Показать

Описание

Автор
ЗаглавиеСистемы логического вывода, основанные на методе резолюций : автореферат дис. ... кандидата физико-математических наук : 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