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

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

    Paulson L.C. Isabelle : A generic theorem prover / L.C.Paulson;With contributions by T.Nipkow, 1994. - XVII,321 p. p. - Текст : непосредственный.