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

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

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009: proceedings / ed. O. Kullmann, 2009 r=on-line. - Текст : электронный.