The ramified analytic hierarchy in second-order logic

Titulo obtenido por la Université Paris CitéThèsse: Doctorat en Informatique

Gardado en:
Detalles Bibliográficos
Autor Principal: Castro, Félix (author)
Formato: doctoralThesis
Idioma:inglés
Publicado: 2025
Subjects:
Acceso en liña:https://hdl.handle.net/20.500.12008/52576
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares: The ramified analytic hierarchy in second-order logic