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

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

    Rewriting, computation and proof : essays dedicated to Jean-Pierre jouannaud on the occasion of his 60th birthday / ed. H. Comon-Lundh, 2007 r=on-line. - Текст : электронный.