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

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

    Types for proofs and programs : Intern.workshop TYPES'93,Nijmegen,The Netherlands,May 24-28 1993:Sel.papers / TYPES'93, 1994. - 383 p. - Текст : непосредственный.