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

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

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

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

    Automated reasoning with analytic tableaux and related methods : Intern. conf., TABLEAUX 2000, St Andrews, Scotland, UK, July 2000Proc. / TABLEAUX 2000, 2000. - X,440 p. p. - Текст : непосредственный.

    Extensions of logic programming : 4th intern.workshop,ELP'93 St Andrews,March 29-Apr 1,1993.Proc. / WELP'93, 1994. - VIII,360 p. p. - Текст : непосредственный.