International Workshop on First-Order Theorem Proving
Semantic Scholar uses AI to extract papers important to this topic.
This special issue of the Journal of Symbolic Computation is dedicated to first-order theorem proving, and was initiated after… (More)
- Journal of Automated Reasoning
This special issue of the Journal of Automated Reasoning contains extended and revised versions of six selected papers presented… (More)
A multiscale collocation method is developed for solving the eigen-problem of weakly singular integral operators. We employ a… (More)
Many problems in computer science can be reduced to proving the satisfiability of conjunctions of literals w.r.t. a background… (More)
For first-order Horn clauses without equality, resolution is complete with an arbitrary selection of a single literal in each… (More)
- J. Exp. Theor. Artif. Intell.
A new technique for improving the efficiency of propositional reasoning procedures is presented. The meta-search procedure, ND… (More)
A selection of these reports is available in PostScript form at the Faculty's anonymous ftp-MOSCA is an experimental language… (More)