conf.researchr.org / Fangzhen Lin
Not registered as user yet
Name:Fangzhen Lin
Contributions
FTfJP 2019 | Author of Translating Classes to First-Order Logic: An Example within the FTfJP 2019-track |
ETAPS 2019 | Author of VIAP 1.1 within the Posters-track |
Not registered as user yet
Contributions
FTfJP 2019 | Author of Translating Classes to First-Order Logic: An Example within the FTfJP 2019-track |
ETAPS 2019 | Author of VIAP 1.1 within the Posters-track |