LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT
Michael Kohlhase
Organization: Computer Science, FAU Erlangen-Nürnberg
Web page: http://kwarc.info/kohlhase
Pages in this Program
Deduktionstreffen on Friday, September 21st, 2018
Deduktionstreffen Program
Program
Program for Friday, September 21st, 2018