Publication
Andreas Meier; Erica Melis
In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International Conference on Mathematical Knowledge Management (MKM), Bremen, Pages 143-158, LNAI, Vol. 3863, Springer Verlag, Berlin, Germany, 2006.
@inproceedings{pub1979, author = { Meier, Andreas and Melis, Erica }, editor = { Kohlhase, Michael }, title = {Impasse-Driven Reasoning in Proof Planning}, booktitle = {Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International Conference on Mathematical Knowledge Management (MKM), Bremen}, series = {LNAI}, year = {2006}, volume = {3863}, pages = {143--158}, address = {Bremen, Germany}, publisher = {Springer Verlag, Berlin, Germany} }
© DFKI, 2023