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

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

    Typed lambda calculi and applications : 8th International conference,TLCA 2007, Paris, France,June 26-28, 2007: proceedings / ed. S. Rocca, 2007 r=on-line. - Текст : электронный.