Integrating Constraint Solving into Proof Planning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Erica Melis, Jürgen Zimmer, Tobias Müller. Integrating Constraint Solving into Proof Planning. In Hélène Kirchner, Christophe Ringeissen, editors, Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings. Volume 1794 of Lecture Notes in Computer Science, pages 32-46, Springer, 2000.

This author has not been identified. Look up 'Erica Melis' in GoogleThis author has not been identified. Look up 'Jürgen Zimmer' in GoogleThis author has not been identified. Look up 'Tobias Müller' in Google

runs on WebDSL