This page shows all presentations of this author published in EasyChair Smart Slide.
Towards the Automatic Construction of Schematic Proofs
David Cerna and Michael Lettmann