Publikation

A Pragmatic Approach to Reuse in Tactical Theorem Proving

Axel Schairer, Serge Autexier, Dieter Hutter

In: Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on Automated Reasoning, IJCAR-2001. International Workshop on Strategies in Automated Deduction (STRATEGIES) Siena 2001.

http://www.dfki.de/vse/papers/sah01.ps.gz (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence