Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Bertrand
Jump to user comments
(Named after the British mathematician Bertrand Russell
(1872-1970)). Wm. Leler. Rule-based specification language
based on augmented term rewriting. Used to implement
constraint languages. The user must explicitly specify the
tree-search and the constraint propagation.