Journals in DBLP

J. Symb. Comput.
2002, volume: 34, number: 4

1. Steve Linton, Roberto Sebastiani
   Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2002, v:34, n:4, pp:239- [Journal]
   
2. Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat
   Incorporating Decision Procedures in Implicit Induction. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2002, v:34, n:4, pp:241-258 [Journal]
   
3. James H. Davenport
   Equality in Computer Algebra and Beyond. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2002, v:34, n:4, pp:259-270 [Journal]
   
4. Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg
   A Constructive Algebraic Hierarchy in Coq. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2002, v:34, n:4, pp:271-286 [Journal]
   
5. Andreas Meier, Martin Pollet, Volker Sorge
   Comparing Approaches to the Exploration of the Domain of Residue Classes. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2002, v:34, n:4, pp:287-306 [Journal]