Hopp til hovudinnhaldet

Humord

Søk i ordtilfang

Innhaldsspråk

Informasjon om omgrepet

Natural science and mathematics > Mathemathics > Symbolic logic > Knuth-Bendix algorithm
Philosophy > Logics > Symbolic logic > Knuth-Bendix algorithm
Natural science and mathematics > Mathemathics > Numerical analysis > Algorithms > Knuth-Bendix algorithm

Tilrådd term

Knuth-Bendix algorithm  

Type

  • Topic

Overordna omgrep

Beslekta omgrep

Tilvisingsterm

  • Knuth–Bendix completion algorithm

Identifikator

  • HUME63772

På andre språk

URI

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

Last ned dette omgrepet:

RDF/XML TURTLE JSON-LD Oppretta 29.02.2024, sist endra 29.02.2024