Каталог "Книги"
| Книги
A Systematic Study of Infinite Canonical Systems generated by Knuth-Bendix Completion and Related Problems
Dissertation
Andrea Sattler-Klein 
ЦБ/ОА/S24
Детайли
- Издателство
- б. и.
- Местоиздаване
- Berlin
- Година на издаване
- 1996
- Страници
- 345 с.
- Класификационен индекс
-
УДК Значение ОА83 Механизирани изчисления
Допълнителна информация
- Отрасъл
- Общ отдел
- Системен №
- 5394
- Инвентаризация
-
Статус Брой Централна библиотека (ЦБ) 1