![Symbol / Natural deduction Symbol / Natural deduction](https://www.pdfsearch.io/img/f13888dc57cd76c0f43d82d9f3f49d15.jpg)
| Document Date: 2011-04-11 03:13:40 Open Document File Size: 446,87 KBShare Result on Facebook
/ Facility R. Dockins Princeton University / / IndustryTerm theorem proving technology / software developers / theorem-proving systems / verified software / mechanized metatheory systems / / Organization Princeton University / / Person Andrew W. Appel / Xavier Leroy / Robert Dockins / / Position author / editor / assistant / head / / ProgrammingLanguage LATEX / ML / Prolog / Java / / Technology alpha / Virtual Machine / dom / theorem proving technology / Java / /
SocialTag |