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

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

    Automated reasoning with analytic tableaux and related methods : Intern.conf.,TABLEAUX'97,Pont-a-Mousson,France,May 13-16,1997:Proc. / Ed. D. Galmiche, 1997. - XI,373 p. p. - Текст : непосредственный.