![](/img/cover-not-exists.png)
Failure Reasoning in Multiple-Strategy Proof Planning
Andreas Meier, Erica MelisVolume:
125
Year:
2005
Language:
english
Pages:
24
DOI:
10.1016/j.entcs.2005.01.004
File:
PDF, 405 KB
english, 2005