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

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

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

    Temporal logic : First intern.conf.,ICTL'94 Bonn,July 11-14,1994 / сост.ed D. M. Gabbay, сост.ed H. J. Ohlbach, 1994. - XI,545 p. p. - Текст : непосредственный.