• ВХОД
  •  

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

    Snyder, W. A proof theory for general unification / W.Snyder. - Boston, Ma [etc.] : Birkh@:auser, 1991. - 175 175 p. : ill. - (Progress in computer science and applied logic ; vol.11). - ISBN 0-8176-3593-9. - Текст : непосредственный.
    Библиогр.:с.167-175

    ГРНТИ УДК
    27.03.19510
    03.91

    Рубрики:
    Математическая логика

    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/14082/11)

    Шифр в сводном ЭК: e7af82e592b21bff062af1883f43087b



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