Workshop on Logical and Semantic Frameworks, with Applications (17. : 2022 : Belo Horizonte) Bezüge im Wissensnetz Veranstaltungsort (1) GND Belo Horizonte Homepage (1) GND lsfa2022.github.io