Anbefalt term
Knuth-Bendix algorithm
Type
- Topic
Henvisningsterm
- Knuth–Bendix completion algorithm
Hører til inndeling
Identifikator
- REAL008132
På andre språk
norsk bokmål
- Knuth-Bendix-algoritmen
- Knuth-Bendix-komplettering
norsk nynorsk
- Knuth-Bendix-algoritmen
- Knuth-Bendix-komplettering
URI
http://data.ub.uio.no/realfagstermer/c008132