GAZING
Subtitle: a technique for controlling the use of rewrite rules
By: Dave Plummer
Contributors: University of Edinburgh
Published: 1987
Language: eng
Number of pages: 188
Subjects: GAZING (Computer program); Theory of Equations; Automatic theorem proving; Symbolic and mathematical Logic
Notes: Thesis (doctoral)--University of Edinburgh, 1987.

Bibliography: leaves 184-188.