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


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

    Лицевая сторона карточкиОбратная сторона карточки

    Theorem proving in higher order logics : 21st International conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008: proceedings / ed. O. Mohamed, 2008 r=on-line. - Текст : электронный.