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

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

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

    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. - Текст : непосредственный.