Buscar por Materia Logic, Modern
Mostrando resultados 1 a 1 de 1
Fecha de publicación | Título | Autor(es) |
---|---|---|
2014-07 | A semantics for equational hybrid propositional type theory | Manzano Arjona, María; Martins, Manuel A.; Huertas, M. Antonia; Universidade de Aveiro; Universidad de Salamanca; Universitat Oberta de Catalunya (UOC) |