Logics for first-order team properties

  • Fan Yang (Puhuja)

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä

Aikajakso9 toukok. 2019
PidettyInstitute for Logic, Language and Computation, University of Amsterdam, Alankomaat