ANDREI-60: AUTOMATED NEW-ERA DEDUCTIVE REASONING EVENT IN IBERIA
ANDREI-60
Speakers
Social Program
Local info
PROGRAM
AUTHORS
KEYWORDS
SLIDES
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
Disclaimer
|
Powered by EasyChair Smart Program