Has author Geoff Sutcliffe
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Geoff Sutcliffe"- Explaining Results from Deductive Engines: The TPTP Environment +
- User Interfaces for Portable Proofs +
- Presenting TSTP Proofs with Inference Web Tools +
