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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Review
2012
Review
2012
Review
2011
Review
2011
This special issue of the Journal of Automated Reasoning contains extended and revised versions of six selected papers presented… 
2003
2003
A new technique for improving the efficiency of propositional reasoning procedures is presented. The meta-search procedure, ND…