Searching for "A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas." – 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.

A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas
by Serge Autexier — 2001 — Electronic Notes in Theoretical Computer Science
…A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas Serge Autexier FR…
Cited by 7 (5 self) – Add To MetaCart

Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001)
by Maria Paola Bonacina, Bernhard Gramlich (eds.), Bernhard Gramlich (editors
… : : : : : : : : : : : : : : : : 75 Axel Schairer, Serge Autexier, Dieter Hutter A Proof-Planning Framework with Explicit…
Add To MetaCart

Showing 1 through 2.

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