Research output: Contribution to conference › Paper
}
TY - CONF
T1 - Computers, Reasoning and Mathematical Practice
AU - Martin, Ursula Hilda Mary
N1 - Proc Summer School in Logic and Computation, Marktoberdorf
PY - 1997
Y1 - 1997
M3 - Paper
ER -