Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Automated Reasoning (JAR), Volume 10
Volume 10, Number 1, February 1993
- William McCune:
Single Axioms for Groups and Abelian Groups with Various Operations. 1-13 - P. A. J. Noel:
Experimenting with Isabelle in ZF Set Theory. 15-58 - Thomas J. Weigert, Jeffrey J. P. Tsai, Xuhua Liu:
Fuzzy Operator Logic and Fuzzy Resolution. 59-78 - Francisco Corella:
What Holds in a Context? 79-93 - Jim Christian:
Flatterms, Discrimination Nets, and Fast Term Rewriting. 95-113 - Frank Vlach:
Simplification in a Satisfiability Checker for VLSI Applications. 115-136
- Larry Wos:
The Problem of Automated Theorem Finding. 137-138
Volume 10, Number 2, April 1993
- Li-Yan Yuan, Jia-Huai You:
Autoepistemic Circumscription and Logic Programming. 143-160 - Shang-Ching Chou, Xiao-Shan Gao:
Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part I. An Improved Version of Ritt-Wu's Decomposition Algorithm. 161-172 - Shang-Ching Chou, Xiao-Shan Gao:
Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving. 173-189 - Raymond T. Ng, V. S. Subrahmanian:
A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases. 191-235 - Marek A. Suchenek:
First -Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment. 237-263 - Arnon Avron:
Gentzen-Type Systems, Resolution and Tableaux. 265-281
- Larry Wos:
The Problem of Selecting an Approach Based on Prior Success. 283-284
Volume 10, Number 3, June 1993
- Larry Wos:
The Kernel Strategy and Its Use for the Study of Combinatory Logic. 287-343 - James J. Lu, Monica D. Barback, Lawrence J. Henschen:
Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction. 345-370 - James J. Lu, V. S. Subrahmanian:
Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability. 371-388 - Joachim Steinbach:
Simplification Orderings: Putting Them to the Test. 389-397 - Chitta Baral, V. S. Subrahmanian:
Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning. 399-420
- Larry Wos:
The Problem of Reasoning by Analogy. 421-422
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-05-05 01:01 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:
