A *(person), professor of Automated Reasoning at the _("Mathematical Reasoning Group"|http://dream.dai.ed.ac.uk/) in the _("Division of Informatics"|http://www.inf.ed.ac.uk/) at the University of Edinburgh.

He wrote a book particularly interesting for people without a strong mathematical background: <em>The Computer Modelling of Mathematical Reasoning</em>, New York, Academic Press, 1983 (it. trans. <em>L'automazione del ragionamento matematico</em>, Padova, Muzzio, 1986). In this book he explain in clear terms _(logic) programming, _(pattern-matching), _(unification), <strong>_("rewriting systems"|rewrite)</strong> and other concepts. -- _(MaD70)

<ul class="links">
  <li>_("Alan Bundy Personal Page"|http://www.dai.ed.ac.uk/homes/bundy/).</li>
</ul>
