Reasoning and Completeness in Hybrid Logic

Blackburn, P. R. (Oplægsholder)

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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