Items where authors include "Gow, J."

Article

Cairns, P. and Gow, J. (2007) Integrating searching and authoring in Mizar. Journal of Automated Reasoning, 39 (2). pp. 141-160. ISSN 0168-7433

Cairns, P., Gow, J. and Collins, P. (2003) On dynamically presenting a topology course. Annals of Mathematics and Artificial Intelligence, 38 (1-3). pp. 91-104. ISSN 1012-2443