Hopp til hovedinnholdet.

Realfagstermer

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

Anbefalt term

Knuth-Bendix algorithm  

Type

  • Topic

Relaterte begreper

Henvisningsterm

  • Knuth–Bendix completion algorithm

Hører til inndeling

Identifikator

  • REAL008132

På andre språk

URI

http://data.ub.uio.no/realfagstermer/c008132

Last ned dette begrepet:

RDF/XML TURTLE JSON-LD Opprettet 25.08.2014, sist endret 29.04.2019