Электронный каталог


    страница из 1
    всего найдено записей: 1,
      отображать

    Kanovich M.I. Fast theorem proving in intuitionistic propositional logic / M.I.Kanovich, 1991. - 16 p. - Текст : непосредственный.