Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,818,404 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
4 relations
Automated theorem proving
First-order logic
International Joint Conference on Automated Reasoning
Research Institute for Symbolic Computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
On the verification of security-aware E-services
Silvio Ranise
J. Symb. Comput.
2012
Corpus ID: 19652611
Review
2012
Review
2012
First-order theorem proving: Foreword
N. Peltier
,
Viorica Sofronie-Stokkermans
J. Symb. Comput.
2012
Corpus ID: 36008864
Review
2011
Review
2011
Preface: Special Issue of Selected Extended Papers of IJCAR 2010
J. Giesl
,
Reiner Hähnle
Journal of Automated Reasoning
2011
Corpus ID: 1424663
This special issue of the Journal of Automated Reasoning contains extended and revised versions of six selected papers presented…
Expand
2010
2010
Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009
FTP
2010
Corpus ID: 53282969
2003
2003
A case study in the meta-reasoning procedure ND
James J. Lu
,
J. Rosenthal
,
Andrew E. Shaffer
J. Exp. Theor. Artif. Intell.
2003
Corpus ID: 452069
A new technique for improving the efficiency of propositional reasoning procedures is presented. The meta-search procedure, ND…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE