The SCEAS System
Navigation Menu

Journals in DBLP

J. Autom. Reasoning
1991, volume: 7, number: 2

  1. Wu Wen-Tsün
    Mechanical Theorem Proving of Differential Geometries and Some of its Applications in Mechanics. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:2, pp:171-191 [Journal]
  2. Domenico Cantone
    Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:2, pp:193-230 [Journal]
  3. Domenico Cantone, Jacob T. Schwartz
    Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:2, pp:231-256 [Journal]
  4. Alfredo Ferro
    Decision Procedures for Elementary Sublanguages of Set Theory: XII. Multilevel Syllogistic Extended with Singleton and Choice Operators. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:2, pp:257-270 [Journal]
  5. Franco Parlamento, Alberto Policriti
    Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:2, pp:271-284 [Journal]
  6. Peter B. Andrews
    More on the Problem of Finding a Mapping between Clause Representation and Natural Deduction Representation. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:2, pp:285-286 [Journal]
  7. Art Quaife
    Unsolved Problems in Elementary Number Theory. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:2, pp:287-300 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002