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

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

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

    Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007: proceedings / ed.: S. Artemov, A. Nerode, 2007 r=on-line. - Текст : электронный.

    Logical foundations of computer science : international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009: proceedings / ed. S. Artemov, 2009 r=on-line. - Текст : электронный.