Event Detail
Sat Oct 24, 2009Cordura Hall, CSLI, on the Stanford campus — 9:10 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/