Полное описание
>
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 : 136607 р. - Текст : непосредственный.
Библиогр.:с.167-175
ГРНТИ | УДК | |
27.03.19 | 510 | |
03.91 |
Рубрики:
Математическая логика
>
Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:
Заказ фрагмента документа ₽