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

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

    Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.

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

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

    Logic and computer science : Lectures of the CIME 1st session, Montecatini Terme, June 20-28, 1988 / S.Homer,A.Nerode,R.A.Platek и др., 1990. - 162 p. - Текст : непосредственный.

    Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.