Publikation

Equational Proof-Planning by Dynamic Abstraction

Serge Autexier, Dieter Hutter

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

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

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