ANDREI-60: AUTOMATED NEW-ERA DEDUCTIVE REASONING EVENT IN IBERIA
Yuri Gurevich
Organization: University of Michigan
Web page: http://web.eecs.umich.edu/~gurevich/
Pages in this Program
Program
Program for Wednesday, May 22nd
Slides