Skip to search form
Skip to main content
Semantic Scholar's Logo
Create Free Account
You are currently offline. Some features of the site may not work correctly.
International Workshop on First-Order Theorem Proving
The International Workshop on First-Order Theorem Proving (FTP) is a scientific meeting of researchers interested in automated theorem proving for…
Automated theorem proving
International Joint Conference on Automated Reasoning
Research Institute for Symbolic Computation
Semantic Scholar uses AI to extract papers important to this topic.
On the verification of security-aware E-services
J. Symb. Comput.
Corpus ID: 19652611
Web services providing E-commerce capabilities to support business transactions over the Internet are more and more widespread…
First-order theorem proving: Foreword
J. Symb. Comput.
Corpus ID: 36008864
This special issue of the Journal of Symbolic Computation is dedicated to first-order theorem proving, and was initiated after…
Preface: Special Issue of Selected Extended Papers of IJCAR 2010
Journal of Automated Reasoning
Corpus ID: 1424663
This special issue of the Journal of Automated Reasoning contains extended and revised versions of six selected papers presented…
Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009
Corpus ID: 53282969
A case study in the meta-reasoning procedure ND
Andrew E. Shaffer
J. Exp. Theor. Artif. Intell.
Corpus ID: 452069
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
Terms of Service
ACCEPT & CONTINUE