User:DPMulligan

From Wikipedia, the free encyclopedia

I'm a fourth year Artificial Intelligence and Computer Science student, University of Edinburgh, with an interest in maths, logic and computer science.

[edit] Pages started

Rippling, meta-level heuristic guidance for inductive proof.

Retrieved from "http://en.wikipedia.org../../../d/p/m/User%7EDPMulligan_bad7.html"