default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Automated Reasoning (JAR), Volume 3
Volume 3, Number 1, 1987
- Hans Jürgen Ohlbach:
Link Inheritance in Abstract Clause Graphs. 1-34 - Tie-Cheng Wang, W. W. Bledsoe:
Hierarchical Deduction. 35-77
- Larry Wos:
Some Obstacles to the Automation of Reasoning and the Problem of Redundant Information. 81-90
- William McCune, Larry Wos:
A Case Study in Automated Theorem Proving: Finding Sages in Combinatory Logic. 91-107
Volume 3, Number 2, 1987
- Anthony G. Cohn:
A More Expressive Formulation of Many Sorted Logic. 113-200
- Larry Wos:
The Problem of Choosing the Inference Rule to Employ. 201-209
- Rick L. Stevens:
Some Experiments in Nonassociative Ring Theory with an Automated Theorem Prover. 211-221
Volume 3, Number 3, 1987
- S. V. Reeves:
Adding Equality to Semantic Tableaux. 225-246 - Alexander Herold, Jörg H. Siekmann:
Unification in Abelian Semigroups. 247-283 - Mark E. Stickel:
A Comparison of the Variable-Abstraction and Constant-Abstraction Methods for Associative-Commutative Unification. 285-289 - Shang-Ching Chou:
A Method for the Mechanical Derivation of Formulas in Elementary Geometry. 291-299 - Jean-Louis Lassez, Kim Marriott:
Explicit Representation of Terms Defined by Counter Examples. 301-317
- Larry Wos:
The Problem of Extending the Set of Support Strategy. 319-328
- Michael J. Miller, Donald Perlis:
Proving Self-Utterances. 329-338
Volume 3, Number 4, 1987
- Zohar Manna, Richard J. Waldinger:
How to Clear a Block: A Theory of Plans. 343-377 - Alexander Bockmayr
:
A Note on a Canonical Theory with Undecidable Unification and Matching Problem. 379-381 - Piotr Rudnicki:
Obvious Inferences. 383-393 - Richard Treitel, Michael R. Genesereth:
Choosing Directions for Rules. 395-431
- Larry Wos:
The Problem of Definition Expansion and Contraction. 433-435
- Tie-Cheng Wang:
Case Studies of Z-Module Reasoning: Proving Benchmark Theorems from Ring Theory. 437-451
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-31 21:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
