• ВХОД
  •  

    Полное описание

    АР91-12871
    Абдуллаева, М. Системы логического вывода,основанные на методе резолюций : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. Абдуллаева. - Ташкент : [б. и.], 1991. - 19 с. - Текст : непосредственный.
    В надзаг.: Ташк.гос.ун-т им.В.И.Ленина. Библиогр.: с. 18-19(8 назв.).
    ГРНТИ УДК
    28.23004.832.3(043)
    Экз-ры полностью АР91-12871
    Имеются экземпляры в отделах: всего 1 : ХР (1)
    Свободны: ХР (1)
    Копия: мкфш. Шифр МФ



    Заказ фрагмента документа ₽