1 results
A SIMPLE ALGORITHM FOR DEDUCTION
- Part of
-
- Journal:
- The ANZIAM Journal / Volume 51 / Issue 1 / July 2009
- Published online by Cambridge University Press:
- 09 March 2010, pp. 102-122
-
- Article
-
- You have access
- Export citation