Paul S. Steyn

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Paul S. Steyn, John A. van der Poll
Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. MSVVEIS (2007)