|
Journals in DBLP
- Jürgen Avenhaus, David A. Plaisted
General Algorithms for Permutations in Equational Inference. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2001, v:26, n:3, pp:223-268 [Journal]
- William M. Farmer
STMM: A Set Theory for Mechanized Mathematics. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2001, v:26, n:3, pp:269-289 [Journal]
- Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott
Reasoning Theories. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2001, v:26, n:3, pp:291-331 [Journal]
|