BroschĂĽre

Workshop on Automation of Proofs by Mathematical Induction

Dieter Hutter; David McAllister; Christoph Walther
13th Conference on Automated Deduction, New Brunswick, USA, 1996.

Weitere Links

BibTeX

http://www.dfki.de/vse/papers/hmw96.ps.gz