Publikation

Workshop on Automation of Proofs by Mathematical Induction

Dieter Hutter

Workshop-proceedings, 16th International Conference on Automated Deduction Trento, Italy 1999.

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