Ohcanbohtosat - Knuth-Bendix completion algorithm~ :: Library Catalog

Ozuin - Knuth-Bendix completion algorithm~ - eai gávdnon bohtosat.

Sáhtát oažžut lasi bohtosiid go hábmet iežat ohcama.

Joker-mearkkaid geavahemiin sáhtát gávdnat earálágán sátnehámiid: Knuth-Bendix completion algorithm*.