Buscar por Autor
Mostrando resultados 2 a 2 de 2
< Anterior
Fecha de publicación | Título | Autor(es) |
---|---|---|
2018-10-20 | Completeness in Equational Hybrid Propositional Type Theory | Manzano Arjona, María; Martins, Manuel A.; Huertas, M. Antonia |