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 Lawrence C. Paulson lle
Add to Reading List

Document Date: 2014-08-27 06:04:04

Open Document

File Size: 1,02 MB

Share Result on Facebook
UPDATE