Amanote Research
Register
Sign In
Rewrite Methods for Clausal and Non-Clausal Theorem Proving
doi 10.1007/bfb0036919
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Jieh Hsiang
Nachum Dershowitz
Publisher
Springer-Verlag
Related search
Applying GSATto Non-Clausal Formulas
Journal of Artificial Intelligence Research
Artificial Intelligence
Compositional Analysis for Clausal Exceptives
Semantics and Linguistic Theory
A Satisfiability Tester for Non-Clausal Propositional Calculus
Textual Metaphor From the Non-Finite Clausal Perspective
Open Journal of Modern Linguistics
Propositional Clausal Defeasible Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generating Clausal Coordinate Ellipsis Multilingually
A Clausal Resolution Method for Branching-Time Logic ECTL+
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Reference to Abstract Entities Within Clausal Complements
Annual Meeting of the Berkeley Linguistics Society
