Programming Systems Lab: Publications by Jürgen Zimmer

Saarland University Computer Science

Select author:

2000

Integrating Constraint Solving into Proof Planning   (pdf)
Erica Melis, Jürgen Zimmer, Tobias Müller
Frontiers of Combining Systems -- Third International Workshop, FroCos 2000

Extensions of Constraint Solving for Proof Planning   (pdf)
Erica Melis, Jürgen Zimmer, Tobias Müller
Proceedings of the 14th European Conference on Artificial Intelligence


Login to edit


Legal notice, Privacy policy