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]

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]

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]

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]

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]

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]

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