Publikation
Andreas Meier; Erica Melis
In: R. Nieuwenhuis (Hrsg.). Proceedings of the 20th Conference on Automated Deduction (CADE--20). International Conference on Automated Deduction (CADE), Tallinn, Pages 250-254, LNAI, Vol. 3632, Springer Verlag, Berlin, Germany, 2005.
@inproceedings{pub1971, author = { Meier, Andreas and Melis, Erica }, editor = { Nieuwenhuis, R. }, title = {MULTI: A Multi-Strategy Proof Planner}, booktitle = {Proceedings of the 20th Conference on Automated Deduction (CADE--20). International Conference on Automated Deduction (CADE), Tallinn}, series = {LNAI}, year = {2005}, volume = {3632}, pages = {250--254}, address = {Tallinn, Estonia}, publisher = {Springer Verlag, Berlin, Germany} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023