A Systematic Study of Infinite Canonical Systems generated by Knuth-Bendix Completion and Related Problems

Dissertation

Andrea Sattler-Klein

ЦБ/ОА/S24

Издателство

б. и.

Местоиздаване

Berlin

Година на издаване

1996

Страници

345 с.

Класификационен индекс

УДК	Значение
ОА83	Механизирани изчисления

Инвентаризация

Статус	Брой
Централна библиотека	1