Publication

Equational Proof-Planning by Dynamic Abstraction

Serge Autexier, Dieter Hutter

In: U. Furbach , M. P. Bonacina (editor). International Workshop on First-Order Theorem Proving - FTP97. International Workshop on First-Order Theorem Proving (FTP) Linz Australia Pages 1-6 RISC-Linz Report Series No. 97-50 1997.

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

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