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

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

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Eijck D.J.N. van Theorem proving and programming with dynamic first order logic / D.J.N. van Eijck,J.M.Heguiabehere,B.O.Nuallain, 2000. - 39 p. - Текст : непосредственный.

    Bleeker A.M. epistemics of encryption / A.M.Bleeker,D.J.N. van Eijck, 2000. - 35 p. - Текст : непосредственный.

    Eijck D.J.N. van On the proper treatment of context in NL / D.J.N. van Eijck, 2000. - 16 p. - Текст : непосредственный.

    Eijck D.J.N. van dynamics of description / D.J.N. vanEijck, 1991. - 18 с. - Текст : непосредственный.