The ramified analytic hierarchy in second-order logic
Titulo obtenido por la Université Paris CitéThèsse: Doctorat en Informatique
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | doctoralThesis |
| Sprog: | engelsk |
| Udgivet: |
2025
|
| Fag: | |
| Online adgang: | https://hdl.handle.net/20.500.12008/52576 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
| Summary: | Titulo obtenido por la Université Paris CitéThèsse: Doctorat en Informatique |
|---|