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

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

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

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

    Analysis and synthesis of logics : how to cut and paste reasoning systems / W. Carnielli [et al.], 2008 r=on-line. - Текст : электронный.

    Gabbay D.M. Revision, acceptability and context. Theoretical and algorithmic aspects / D. M. Gabbay, O. T. Rodrigues, A. Russo, 2010. - X, 385 p. с. - Текст : непосредственный.

    d'Avila Garces A.S. Neural-symbolic cognitive reasoning / A. S. d'Avila Garces, L. C. Lamb, D. M. Gabbay, 2009. - XIII, 197 p. с. - Текст : непосредственный.

    Mathematical problems from applied logic II : logics for the XXIst century / ed. D. M. Gabbay [et al.], 2007 r=on-line. - Текст : электронный.

    Mathematical problems from applied logic I : logics for the XXIst century / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.

    Gabbay D.M. Logical tools for handling change in agent-based systems / D. M. Gabbay, K. Schlechta, 2010 r=on-line. - Текст : электронный.

    Gabbay D.M. Revision, acceptability and context : theoretical and agorithmic apects / D. M. Gabbay, O. T. Rodrigues, A. Russo, 2010 r=on-line. - Текст : электронный.

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