Оценки высоты термов в наиболее общем унификаторе: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 01.01.06 / С.-Петерб. гос. ун-т
Enregistré dans:
| Format: | |
|---|---|
| Auteur principal: | Конев, Б. Ю. |
| Publié: | СПб. , 1999 |
| Description matérielle: |
15 с.
|
| Langue: | Русский |
| Sujets: |
ОФХ отдела книгохранения
| Всего : 1 , доступно: 1 | Disponible Réserver | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||