Hopp til hovedinnholdet.

Humord

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

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

Anbefalt term

Knuth-Bendix algorithm  

Type

  • Topic

Overordnede begreper

Relaterte begreper

Henvisningsterm

  • Knuth–Bendix completion algorithm

Identifikator

  • HUME63772

På andre språk

URI

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

Last ned dette begrepet:

RDF/XML TURTLE JSON-LD Opprettet 29.02.2024, sist endret 29.02.2024