FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Reinhard Kahle
Affiliation: Universität Tübingen
Web page: http://uni-tuebingen.de/en/143985
Pages in this Program
LogTeach on Sunday, July 31st
LogTeach Program
Program
Program for Sunday, July 31st
Slides
Slides