Knuth&Bendix-algoritmen : relevant teori og implementasjon Bind II

Aleksander Rokić
Bok · Bokmål · 1985

Utgitt	Oslo : A. Rokić , 1985
Omfang	175 bl.
Emner	hovedoppgaver informatikk