Methodist College Belfast
article-link
What links here
Department of Computer Science, University of Manchester
Capgemini
article-link
Tom Kilburn
article-link
Vampire (theorem prover)
article-link
Steve Furber
article-link
Mark Hendrick
article-link
Description logic
article-link
University of Manchester
article-link
Analytical engine
article-link