Publikation
Jürgen Zimmer; Erica Melis
In: Journal of Automated Reasoning (JAR), Vol. 33, No. 1, Pages 51-88, 7/2004.
@article{pub1930, author = { Zimmer, Jürgen and Melis, Erica }, title = {Constraint Solving for Proof Planning}, year = {2004}, month = {7}, volume = {33}, number = {1}, pages = {51--88}, journal = {Journal of Automated Reasoning (JAR)} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023