| Originalsprog | Engelsk |
|---|
| Udgivelsessted | Roskilde |
|---|---|
| Forlag | Roskilde Universitet |
| Antal sider | 335 |
| Status | Udgivet - 2013 |
Tableu-based decision procedures for epistemic and temporal epistemic logics
Mai Ajspur
Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling