Searching for authors named "David Duncan" – sorted by Relevance.
-
XBarnacle: Making Theorem Provers More Accessible
- XBarnacle: Making Theorem Provers More Accessible Helen Lowe and David Duncan 1 Napier University
- Cited by 15 (0 self) – Add To MetaCart
-
A Bayesian Approach to Diagnosing Problems with Prolog Control Flow
- A Bayesian Approach to Diagnosing Problems with Prolog Control Flow David Duncan, Paul Brna
- Cited by 7 (1 self) – Add To MetaCart
-
unknown title
- Author version of paper published as: Bailey, David, Campbell, Duncan and Goonetilleke, Ashantha
- Add To MetaCart

