Please note that this newsitem has been archived, and may contain outdated information or links.
8 November 2002, Computing with LLI Seminar, Rick Sommer
Speaker: Rick Sommer
(EPGY Stanford)
(EPGY Stanford)
Title: Theorem-Proving Environment for Undergraduate Mathematics
Date: Friday 8 November 2002
Time: 13:30
Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam
For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Nov8 .
Please note that this newsitem has been archived, and may contain outdated information or links.