Back to Results
First PageMeta Content
Mathematical proof / Recursion / Mathematical induction / Algorithm / Theorem / Structural induction / Natural deduction / Automated theorem proving / Recursive definition / Mathematics / Logic / Mathematical logic


Tobias Nipkow Markus Wenzel
Add to Reading List

Document Date: 2013-02-12 08:40:54

Open Document

File Size: 1,01 MB

Share Result on Facebook
UPDATE