Skip to search formSkip to main contentSkip to account menu

International Workshop on First-Order Theorem Proving

Known as: FTP (disambiguation) 
The International Workshop on First-Order Theorem Proving (FTP) is a scientific meeting of researchers interested in automated theorem proving for… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
Automated theorem provingFirst-order logicInternational Joint Conference on Automated ReasoningResearch Institute for Symbolic Computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2012
Review
2012
First-order theorem proving: Foreword
Review
2011
Review
2011
Preface: Special Issue of Selected Extended Papers of IJCAR 2010
This special issue of the Journal of Automated Reasoning contains extended and revised versions of six selected papers presented… 
2010
2010
Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009
2003
2003
A case study in the meta-reasoning procedure ND
A new technique for improving the efficiency of propositional reasoning procedures is presented. The meta-search procedure, ND… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)