Paul S. Steyn

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

1 Paul S. Steyn, John A. van der Poll: Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. MSVVEIS 2007: 43-52

	2007
1		Paul S. Steyn, John A. van der Poll: Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. MSVVEIS 2007: 43-52

Coauthor Index