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

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

    Fitting M. First-order logic and automated theorem proving / M.Fitting, 1990. - XIII,242 p. p. - Текст : непосредственный.