Bulmer, M, “Inductive Equational Reasoning”, PRICAI'96, Cairns, pp. 13-22. (1996) [Refereed Conference Paper] |
Data Type | Value |
Type of Research | Pure Basic Research |
Research Division | Mathematical Sciences |
Research Group | Mathematical physics |
Research Field | Mathematical physics not elsewhere classified |
Research Objective Division | Expanding Knowledge |
Research Objective Group | Expanding knowledge |
Research Objective Field | Expanding knowledge in the mathematical sciences |
Visit Item on eCite | http://ecite.utas.edu.au/8886 |