ANDREI-60: AUTOMATED NEW-ERA DEDUCTIVE REASONING EVENT IN IBERIA
Alexander Leitsch
Organization: Institute of Computer Languages (E185), Vienna University of Technology
Web page: http://www.logic.at/people/leitsch/
Pages in this Program
Program
Program for Wednesday, May 22nd