International Workshop on First-Order Theorem Proving

International Workshop on First-Order Theorem Proving
Results: 3

#	Item
1	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system
2	TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut fur Add to Reading List Source URL: www.tableaux11.unibe.ch Language: English Logic Mathematical logic Theoretical computer science Automated theorem proving Proof theory Methods of proof International Workshop on First-Order Theorem Proving Melvin Fitting Natural deduction Sequent calculus Modal logic Method of analytic tableaux
3	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

UPDATE