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

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

    Automated deduction - CADE - 17 : 17th Intern. conf. on automated deduction, Pittsburgh(Pa),USA, June 17-20, 2000Proc. / CADE-17, 2000. - XIII,512 p. p. - Текст : непосредственный.