Journals in DBLP

J. Symb. Comput.
1998, volume: 25, number: 2

1. Norbert Kajler, Neil Soiffer
   A Survey of User Interfaces for Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1998, v:25, n:2, pp:127-159 [Journal]
   
2. Yves Bertot, Laurent Théry
   A Generic Approach to Building User Interfaces for Theorem Provers. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1998, v:25, n:2, pp:161-194 [Journal]
   
3. Michael B. Hayden, Edmund A. Lamagna
   NEWTON: An Interactive Environment for Exploring Mathematics. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1998, v:25, n:2, pp:195-212 [Journal]
   
4. Simon Gray, Norbert Kajler, Paul S. Wang
   Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1998, v:25, n:2, pp:213-237 [Journal]
   
5. Helen Lowe, Alan Bundy, Duncan McLean
   The Use of Proof Planning for Co-operative Theorem Proving. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1998, v:25, n:2, pp:239-261 [Journal]
   
6. J. Stuart Aitken, Philip D. Gray, Thomas F. Melham, Muffy Thomas
   Interactive Theorem Proving: An Empirical Study of User Activity. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1998, v:25, n:2, pp:263-284 [Journal]