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

страница из

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

Automated deduction - CADE-14 : 14th Intern.conf.on automated deduction,Townsville,North Queensland,Australia,July 13-17,1997:Proc. / Ed. W. McCune, 1997. - XIV,462 p. p. - Текст : непосредственный.