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

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

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

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