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


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

    Gallier J.H. Logic for computer science : Foundations of automatic theorem proving / J.H.Gallier, 1986. - XV,511 p. p. - Текст : непосредственный.