Search the dblp DataBase

Publications of Author

1. Jürgen Zimmer, Louise A. Dennis
   Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. [Citation Graph (0, 0)][DBLP]
   AISC, 2002, pp:319-331 [Conf]
   
2. Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer
   Proof Development with OMEGA. [Citation Graph (0, 0)][DBLP]
   CADE, 2002, pp:144-149 [Conf]
   
3. Jürgen Zimmer, Serge Autexier
   The MathServe System for Semantic Web Reasoning Services. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2006, pp:140-144 [Conf]
   
4. Jürgen Zimmer, Michael Kohlhase
   System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. [Citation Graph (0, 0)][DBLP]
   CADE, 2002, pp:139-143 [Conf]
   
5. Erica Melis, Jürgen Zimmer, Tobias Müller
   Extensions of Constraint Solving for Proof Planning. [Citation Graph (0, 0)][DBLP]
   ECAI, 2000, pp:229-233 [Conf]
   
6. Erica Melis, Jürgen Zimmer, Tobias Müller
   Integrating Constraint Solving into Proof Planning. [Citation Graph (0, 0)][DBLP]
   FroCos, 2000, pp:32-46 [Conf]
   
7. Jürgen Zimmer
   A Framework for Agent-Based Brokering of Reasoning Services. [Citation Graph (0, 0)][DBLP]
   MICAI, 2004, pp:212-221 [Conf]
   
8. Jürgen Zimmer, Erica Melis
   Constraint Solving for Proof Planning. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2004, v:33, n:1, pp:51-88 [Journal]