Knuth-Bendix-algoritmen
Knuth-Bendix algorithm
Rewrite systems
Grafomskriving
Omskrivingslogikk
Termomskriving
Term rewriting
Rewriting systems
Grafomskrivning
Graph rewriting
Rewriting techniques
Rewriting logic
Omskrivingsteknikkar
Reduction systems
Rewrite engines
Omskrivningslogikk
Omskrivningsteknikker
Symbolic logic
Symbolsk logikk
Formelle metoder i matematisk logikk og informatikk <uio>
Lukket bemerkning: ubo24
Humord
Rewriting
Omskrivning (Symbolsk logikk)
Innholdsbeskrivende emne
Topic