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

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

    Logic-based program synthesis and transformation : 16th International symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006: revised selected papers / ed. G. Puebla, 2007 r=on-line. - Текст : электронный.