eCite Digital Repository

Inductive Equational Reasoning

Citation

Bulmer, M, Inductive Equational Reasoning, PRICAI'96, Cairns, pp. 13-22. (1996) [Refereed Conference Paper]

Item Details

Item Type:Refereed Conference Paper
Research Division:Mathematical Sciences
Research Group:Mathematical Physics
Research Field:Mathematical Physics not elsewhere classified
Objective Division:Expanding Knowledge
Objective Group:Expanding Knowledge
Objective Field:Expanding Knowledge in the Mathematical Sciences
Author:Bulmer, M (Dr Bulmer)
ID Code:8886
Year Published:1996
Deposited By:Mathematics
Deposited On:1996-08-01
Last Modified:1997-02-01
Downloads:0

Repository Staff Only: item control page