LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT
Florian Rabe
Organization: FAU Erlangen-N├╝rnberg and LRI Paris
Web page: http://kwarc.info/frabe/
Pages in this Program
Deduktionstreffen on Friday, September 21st, 2018
Deduktionstreffen Program
Program
Program for Friday, September 21st, 2018