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


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

    SAT 2005 : satisfiability research in the year 2005 / ed.: E. Giunchiglia, T. Walsh, 2006 r=on-line. - Текст : электронный.