Journals in DBLP

Electr. Notes Theor. Comput. Sci.
1999, volume: 23, number: 3

1. Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia
   The control component of open mechanized reasoning systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
   
2. Koji Nakagawa, Felix Kossak
   User--system interaction within Theorema. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
   
3. Erica Melis, Volker Sorge
   Employing external reasoners in proof planning. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
   
4. Alexander V. Lyaletski, Marina Morokovets
   On linguistic aspects of integration of computer mathematical knowledge. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
   
5. Alexander A. Letichevsky, Julia V. Kapitonova, Vladislav A. Volkov, A. Chugayenko, Victor Khomenko, David R. Gilbert
   The development of interactive algorithms for the Mathematical Environment. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
   
6. Fausto Giunchiglia
   The OMRS project: State of the art. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
   
7. Andreas Franke, Michael Kohlhase
   MBase: Representing mathematical knowledge in a relational data base. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
   
8. Olga Caprotti, Arjeh M. Cohen
   Integrating computational and deduction systems using OpenMath. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
   
9. Bruno Buchberger
   Theory exploration versus theorem proving. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
   
10. Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo
    On the way to certify Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
    
11. Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
    Agent based mathematical reasoning. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
    
12. Michael Beeson
    Automatic derivation of the irrationality of e. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
    
13. Alessandro Armando, Tudor Jebelean
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
    
14. Wolfgang Windsteiger
    Building up hierarchical mathematical domains using functors in Theorema. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]