Searching for "A Pragmatic Approach to Reuse in Tactical Theorem Proving." – 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 Pragmatic Approach to Reuse in Tactical Theorem Proving
by Axel Schairer, Serge Autexier, Dieter Hutter — 2001
… by introducing an additional wave A Pragmatic Approach to Reuse in Tactical Theorem Proving 5 front…
Cited by 8 (3 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
… : : : : : : : : : : : : : : : 65 Alexander Lyaletski, Andrey Paskevich A Pragmatic Approach to Reuse in Tactical Theorem Proving…
Add To MetaCart

Showing 1 through 2.

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