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


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

    Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004: revised selected papers / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.