Calculemus 2003
11th Symposium on the Integration of
Symbolic Computation and Mechanized Reasoning
Panel Discussion
Roma Italy – September 10-12, 2003
Version 1.0 of 2003, September 25
Panelists
Jacques Calmet
James Davenport
Stephen Watt
Renaud Rioboo
President
Michael Kolhase
This document was translated from L
A
T
E
X by
H
E
V
E
A
.