|
Доклады Академии наук, 1993, том 329, номер 2, страницы 128–131
(Mi dan5254)
|
|
|
|
МАТЕМАТИКА
Строение фундированных конгруэнций и унификация бесконечных систем уравнений в термах
Ю. В. Гавриленко Вычислительный центр РАН, г. Москва
Образец цитирования:
Ю. В. Гавриленко, “Строение фундированных конгруэнций и унификация бесконечных систем уравнений в термах”, Докл. РАН, 329:2 (1993), 128–131; Dokl. Math., 47:2 (1993), 196–200
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dan5254 https://www.mathnet.ru/rus/dan/v329/i2/p128
|
Статистика просмотров: |
Страница аннотации: | 84 | PDF полного текста: | 22 |
|