ANDREI-60: AUTOMATED NEW-ERA DEDUCTIVE REASONING EVENT IN IBERIA
Evgeny Dantsin
Organization: Roosevelt University
Web page: http://cs.roosevelt.edu/~dantsin/
Pages in this Program
Slides