Proof Planning with Multiple Strategies (2000)

Cached

Download Links

by Erica Melis , Andreas Meier
Venue:In Proc. of the First International Conference on Computational Logic
Citations:53 - 34 self