EasyChair Smart SlideHelp/Log in
Author: Michael Rawson

This page shows all presentations of this author published in EasyChair Smart Slide.

Old or Heavy? Decaying Gracefully with Age/Weight Shapes.

Old or Heavy? Decaying Gracefully with Age/Weight Shapes.

Michael Rawson and Giles Reger

Testing ATP folklore: a statistical analysis of Vampire proofs.

Testing ATP folklore: a statistical analysis of Vampire proofs.

Michael Rawson and Giles Reger

Dynamic Strategy Priority: Empower the strong and abandon the weak

Dynamic Strategy Priority: Empower the strong and abandon the weak

Michael Rawson and Giles Reger

Presentations in this collection: 3
Copyright © 2002 – 2022 EasyChair