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

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

    Proceedings of the 10.international conference on automated deduction, Keiserslautern, Jul.24-27, 1990 / International conference on automated deduction (10. ; 1990 ; Keiserslautern) , 1990. - XVI,688 p. p. - Текст : непосредственный.