Publikation
Andreas Meier; Erica Melis
In: M.P. Bonacina; T. Boy de la Tour (Hrsg.). Proceedings of Workshop ``Strategies in Automated Deduction'' at the Second International Joint Conference on Automated Reasoning (IJCAR2004). International Joint Conference on Automated Reasoning (IJCAR), Cork, Pages 93-105, 7/2004.
@inproceedings{pub1946, author = { Meier, Andreas and Melis, Erica }, editor = { Bonacina, M.P. and Tour, T. Boy de la }, title = {Failure Reasoning in Multiple-Strategy Proof Planning}, booktitle = {Proceedings of Workshop ``Strategies in Automated Deduction'' at the Second International Joint Conference on Automated Reasoning (IJCAR2004). International Joint Conference on Automated Reasoning (IJCAR), Cork}, year = {2004}, month = {7}, pages = {93--105}, address = {Cork, Ireland} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023