• ВХОД
  •  

    Полное описание

    R/9156/300/96
    Nguyen, A. P. A formal system for linear space reasoning : diss. / A.P.Nguyen. - Toronto : [s. n.], 1996. - 62,21 p. p. : ill. - (Technical report / Univ. of Toronto ; 300/96). - Текст : непосредственный.
    Библиогр.:с.60-62
    ГРНТИ УДК
    28.23.20004.83(043)

    Рубрики:
    Искусственный интеллект
    Экз-ры полностью R/9156/300/96
    Имеются экземпляры в отделах: всего 1 : ХР (1)
    Свободны: ХР (1)



    Заказ фрагмента документа ₽