dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jürgen Zimmer (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Zimmer, Erica Melis: Constraint Solving for Proof Planning. J. Autom. Reasoning 33(1): 51-88 (2004)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJö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. CADE 2002: 144-149
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErica Melis, Jürgen Zimmer, Tobias Müller: Extensions of Constraint Solving for Proof Planning. ECAI 2000: 229-233
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErica Melis, Jürgen Zimmer, Tobias Müller: Integrating Constraint Solving into Proof Planning. FroCos 2000: 32-46

Selection of 4 from 8 records - Jürgen Zimmer has 19 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page