Prover9 - PDFSEARCH.IO - Document Search Engine

Prover9
Results: 7

#	Item
1	Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:36 Software Theoretical computer science Formal methods Automated theorem proving Logic in computer science Proof assistants Formal verification Automated reasoning KeY Prover9 Frama-C First-order logic
2	Paul E. Oppenheimer and Edward N. ZaltaIntroduction Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2011-02-19 16:20:02 Model theory Arguments for the existence of God Ontological argument Prover9 First-order logic Argument Interpretation
3	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 2011 Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:18
4	An Extensible Toolkit for Computational Semantics Dan Garrette Ewan Klein October 3, 2009 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-12 20:53:04 Formal languages Semantics Predicate logic Theoretical computer science Model theory Discourse representation theory First-order logic Earley parser Prover9 Logic Mathematics Science
5	Logics beyond the syllogistic boundary Larry Moss NASSLLI[removed] Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2014-06-27 10:53:58 Kumquat Prover9 FO Flora Mathematics Asia Citrus Flora of China
6	Branden Fitelson & Edward N. Zalta Steps Toward a Computational Metaphysics∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2007-08-22 20:20:00 Automated theorem proving Model theory Prover9 First-order logic Function Unification Functor Resolution Modal logic Logic Mathematics Mathematical logic
7	Paul E. Oppenheimer and Edward N. Zalta 2 Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-03-23 12:52:55 Metalogic Logical consequence Arguments for the existence of God Ontological argument Prover9 First-order logic Function Entailment Interpretation Logic Mathematics Model theory

UPDATE