This page shows all presentations of this author published in EasyChair Smart Slide.
Dataset-Specific Strategies for the E Theorem Prover
Jack McKeown and Geoff Sutcliffe