Date: 2010-07-11 12:18:50Computability 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 DixonAdd to Reading ListSource URL: dream.inf.ed.ac.ukDownload Document from Source Website File Size: 242,36 KBShare Document on Facebook
|