![Automated theorem proving / Proof theory / Mathematical proofs / Logical syntax / First-order logic / Proof assistant / Theorem / Isabelle / Natural deduction / Logic / Mathematics / Mathematical logic Automated theorem proving / Proof theory / Mathematical proofs / Logical syntax / First-order logic / Proof assistant / Theorem / Isabelle / Natural deduction / Logic / Mathematics / Mathematical logic](https://www.pdfsearch.io/img/c3ff5611006e815f2775f02121d26c95.jpg)
| Document Date: 2015-01-25 16:18:54 Open Document File Size: 449,66 KBShare Result on Facebook
Company FOF / / / Facility Cornell University / Gates Hall / / IndustryTerm proof tool / subset chain / / OperatingSystem Hurd / / Organization Technische Universität München / S. J. Smolka Department of Computer Science / Cornell University / A. Steckermeier Institut für Informatik / / Person Sascha Böhme / Metis / Isar Proofs / Albert Steckermeier / Steffen Juilf Smolka / Mathias Fleury / Jasmin Christian Blanchette / / Position editor / proof assistant / forward / specific proof assistant / Isabelle/HOL proof assistant / /
SocialTag |