Back to Results
First PageMeta Content
Computability theory / Mathematics / Mathematical logic / Theoretical computer science / Recursion / Theory of computation / Primitive recursive function / Recursive data type / Mutual recursion / Automated theorem proving / Theorem / Presentation of a group


The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon
Add to Reading List

Document Date: 2010-07-11 12:18:50


Open Document

File Size: 242,36 KB

Share Result on Facebook