|
|
Number of items: 7
Journal Article
| Bulmer, M, Competing Species, Mathematica World, 3, (7) pp. 1-10. (1995) [Non Refereed Article] | |
| Bulmer, M, Feasible Regions, Mathematica World, 3, (10) pp. 1-15. (1995) [Non Refereed Article] | |
| Bulmer, M and Stokes, TE, Geometry Theorem Prover, Mathematica World, 3, (10) pp. 1-16. (1995) [Non Refereed Article] | |
| Bulmer, M, The Cost of Subsistence, Mathematica World, 2, (10) pp. 1-7. (1994) [Non Refereed Article] | |
Conference Publication
| Bulmer, M, Inductive Equational Reasoning, PRICAI'96, Cairns, pp. 13-22. (1996) [Refereed Conference] | |
| Bulmer, M, Inductive Theories from Equational Systems, ISIS'96, Melbourne, pp. 260-268. (1996) [Refereed Conference] | |
Thesis
This list was generated on Sat Nov 21 14:32:58 2009.
|
|
