• ВХОД
  •  

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

    R/16212/CS-R9362
    Klop, J. W. Combinatory reduction systems:introduction and survey / J.W.Klop,V.van Oostrom,F.van Raamsdonk. - Amsterdam : [s. n.], 1993. - 26 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9362). - 20 р. - Текст : непосредственный.
    Библиогр.:с.23-26
    ГРНТИ УДК
    50.05.13004.42

    Рубрики:
    Программирование для ЭВМ

    Доп. точки доступа:
    Oostrom, V.van
    Raamsdonk, F.van
    Экз-ры полностью R/16212/CS-R9362
    Имеются экземпляры в отделах: всего 1 : ХР (1)
    Свободны: ХР (1)



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