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


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

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

    Automated reasoning : 4th International joint conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 :proceedings / ed. A. Armando, 2008 r=on-line. - Текст : электронный.