Searching for "The Use of Explicit Plans to Guide Inductive Proofs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

The Use of Explicit Plans to Guide Inductive Proofs
by Alan Bundy, Alan Bundy — 1988 — 9th Conference on Automated Deduction
…The Use of Explicit Plans to Guide Inductive Proofs Alan Bundy DAI Research Paper No. Copyright (c…
Cited by 240 (33 self) – Add To MetaCart

No. 114 Autumn 2003 3
by Aisb Fellows Aisb
… Press, Press, Stanford, Stanford, 2001. 3. A. Bundy, The use of explicit plans to guide inductive proofs…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB