Humord

Anbefalt term

Knuth-Bendix algorithm

Type

  • Topic

Overordnede begreper

Relaterte begreper

Henvisningsterm

  • Knuth–Bendix completion algorithm

Identifikator

  • HUME63772

På andre språk

norsk bokmål

norsk nynorsk

URI

http://data.ub.uio.no/humord/c63772

Last ned dette begrepet