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

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

    Theorem proving in higher order logics : 13th Intern. conf., TPHOLs 2000, Portland(Or), Aug.14-18, 2000Proc. / TPHOLs 2000, 2000. - IX,533 p. p. - Текст : непосредственный.