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

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

    Proceedings of the 1991 international workshop on the HOL theorem proving system and its applications,Aug.28-30,1991,Davis(Ca) / HOL 91, 1992. - XIX,411 p. p. - Текст : непосредственный.