VIVO
Selecione um idioma
Português (Portugal)
English (United States)
Index
Formulário de pesquisa
Início
Pessoas
Organizações
Investigação
Partial Proof Terms in the Study of Idealized Proof Search
Capítulo de livro
https://doi.org/10.1007/978-3-031-66997-2_16
Visão geral
Identidade
Ver Todos
Visão geral
autores
Ana Catarina Lopes Carvalho Sousa
Espírito Santo, José
Sousa, Ana Catarina Lopes Carvalho
data de publicação
2024
Identidade
Digital Object Identifier (DOI)
https://doi.org/10.1007/978-3-031-66997-2_16
