Индуктивный синтез систем подстановок термов: (05.13.11): Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук / АН СССР, Сиб. отд-ние, ВЦ
Захавана ў:
| Тып дакумента: | |
|---|---|
| Аўтар: | Барздинь, Г. Я. |
| Апублікавана: | Новосибирск , 1990 |
| Фізіч. характарыстыкі: |
17 с.
|
| Мова: | Руская |
ОФХ отдела книгохранения
| Усяго : 1 , даступна: 1 | Даступна Замовіць | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||