TermGallery
English
English
Spanish
Catalan
Portuguese
Russian
EN
English
Español
Català
Português
Русский
Russian
система правил переписывания
Portuguese
sistema de redução
Replacing subterm in a formula with another term.
rewriting
rewrite systems
reduction systems
term rewriting
rewrite rule
inference engine
Russian
система правил переписывания
Russian
система правил переписывания
система переписывания
переписывание
правило переписывания
упрощение формул
система переписывающих правил
упрощение выражений
Portuguese
sistema de redução
