Journals in DBLP
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Bruno Buchberger Theory exploration versus theorem proving. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal ] 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 ] 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 ] 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 ] Alessandro Armando , Tudor Jebelean Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal ] 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 ]