Reasoning and Completeness in Hybrid Logic

Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

Periode25 mar. 2020
Sted for afholdelseTsinghua University, Kina
Grad af anerkendelseInternational

Dokumenter og Links