Event Detail

Sat Oct 24, 2009
Cordura Hall, CSLI, on the Stanford campus, 9:10–11 AM
All-day event
John Mumma, Victor Pambuccian, Michael Friedman, Michael Beeson, Dana Scott
Symposium on Constructive Geometric Reasoning

http://www-logic.stanford.edu/geometry/