First Page | Document Content | |
---|---|---|
Date: 2011-02-19 16:20:02Model theory Arguments for the existence of God Ontological argument Prover9 First-order logic Argument Interpretation | Paul E. Oppenheimer and Edward N. ZaltaIntroductionAdd to Reading ListSource URL: www.peoppenheimer.orgDownload Document from Source WebsiteFile Size: 205,52 KBShare Document on Facebook |
Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius VelykisDocID: 1lzVy - View Document | |
Paul E. Oppenheimer and Edward N. ZaltaIntroductionDocID: 1kFpg - View Document | |
Automatic Unbounded Verification of Alloy Specifications with Prover9 Alcino Cunha and Nuno Macedo HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal May 2011DocID: 1gNFb - View Document | |
An Extensible Toolkit for Computational Semantics Dan Garrette Ewan Klein October 3, 2009DocID: PoUg - View Document | |
Logics beyond the syllogistic boundary Larry Moss NASSLLI[removed]DocID: aKFc - View Document |