Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Automated Reasoning (JAR), Volume 8
Volume 8, Number 1, February 1992
- David M. Russinoff:
A Mechanical Proof of Quadratic Reciprocity. 3-21 - Anita Jindal, Ross A. Overbeek, Waldo C. Kabat:
Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems. 23-38 - Eric Domenjoud:
A Technical Note on AC-Unification. The Number of Minimal Unifiers of the Equation alpha x1 + . . . + alpha xp =AC beta y1 + . . . + beta yq. 39-44 - Larry M. Hines:
Completeness of a Prover for Dense Linear Orders. 45-75 - Shyi-Ming Chen, Jyh-Sheng Ke, Jin-Fu Chang:
An Inexact Reasoning Algorithm Based on Fuzzy Rule Matrix Transformations. 77-90 - Art Quaife:
Automated Deduction in von Neumann-Bernays-Gödel Set Theory. 91-147
Volume 8, Number 2, April 1992
- Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov:
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. 153-181 - Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel:
SETHEO: A High-Performance Theorem Prover. 183-212 - Robert Veroff:
The Linked Inference Principle, I: The Formal Treatment. 213-274 - James D. Baker, Shariar Zand-Biglari:
An Integral Theorem Prover And The Role Of Proof Planning. 275-295 - John C. Shepherdson:
SLDNF-Resolution with Equality. 297-306
- Larry Wos:
The Problem of Choosing between Using and Avoiding Eqyality Predicates. 307-309
Volume 8, Number 3, June 1992
- Dave Barker-Plummer:
Gazing: An Approach to the Problem of Definition and Lemma Use. 311-344 - Chitta Baral, V. S. Subrahmanian:
Stable and Extension Class Theory for Logic Programs and Default Logics. 345-366 - Robert J. Hall:
Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study. 367-394 - Mark F. Russo, Richard L. Peskin:
Automatically Identifying the Asymptotic Behavior of Nonlinear Singularly Perturbed Boundary Value Problems. 395-419
- Larry Wos:
The Problem of Reasoning from Inequalities. 421-426
a service of 
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-07-18 22:00 CEST 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:
