Journals in DBLP

J. Symb. Comput.
2001, volume: 32, number: 4

1. Alessandro Armando, Tudor Jebelean
   Special Issue on Calculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:32, n:4, pp:303-304 [Journal]
   
2. Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise
   The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:32, n:4, pp:305-332 [Journal]
   
3. Michael Beeson
   Automatic Derivation of the Irrationality of e. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:32, n:4, pp:333-349 [Journal]
   
4. Olga Caprotti, Arjeh M. Cohen
   On the Role of OpenMath in Interactive Mathematical Documents. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:32, n:4, pp:351-364 [Journal]
   
5. Michael Kohlhase, Andreas Franke
   MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:32, n:4, pp:365-402 [Journal]
   
6. Sorin Stratulat
   A General Framework to Build Contextual Cover Set Induction Provers. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2001, v:32, n:4, pp:403-445 [Journal]