Buscar por Materia Hybrid logic
Mostrando resultados 1 a 1 de 1
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 |