Journals in DBLP
David Aspinall , Christoph Lüth Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:1-2 [Journal ] David Aspinall , Christoph Lüth Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:3-26 [Journal ] Philippe Audebaud , Laurence Rideau TEXmacs as Authoring Tool for Formal Developments. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:27-48 [Journal ] Yves Bertot , Frédérique Guilhot , Loic Pottier Visualizing Geometrical Statements with GeoView. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:49-65 [Journal ] Martin Giese Taclets and the KeY Prover. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:67-79 [Journal ] Joseph Kiniry Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:81-103 [Journal ] Andreas Meier , Erica Melis , Martin Pollet Adaptable Mixed-Initiative Proof Planning for Educational Interaction. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:105-120 [Journal ] Laurent Théry Colouring Proofs: A Lightweight Approach to Adding Formal Structure to Proofs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:121-138 [Journal ] Norbert Völker Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:139-159 [Journal ] Malte Hübner , Serge Autexier , Christoph Benzmüller , Andreas Meier Interactive Theorem Proving with Tasks. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:161-181 [Journal ]