Journals in DBLP

J. Autom. Reasoning
1998, volume: 21, number: 3

1. John Harrison, Laurent Théry
   A Skeptic's Approach to Combining HOL and Maple. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1998, v:21, n:3, pp:279-294 [Journal]
   
2. Andrej Bauer, Edmund M. Clarke, Xudong Zhao
   Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1998, v:21, n:3, pp:295-325 [Journal]
   
3. Manfred Kerber, Michael Kohlhase, Volker Sorge
   Integrating Computer Algebra into Proof Planning. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1998, v:21, n:3, pp:327-355 [Journal]
   
4. Andreas Dolzmann, Thomas Sturm, Volker Weispfenning
   A New Approach for Automatic Theorem Proving in Real Geometry. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1998, v:21, n:3, pp:357-380 [Journal]
   
5. Jinzhao Wu, Zhuojun Liu
   Well-Behaved Inference Rules for First-Order Theorem Proving. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1998, v:21, n:3, pp:381-400 [Journal]