Capítulo de Libro
Topología simplicial en ACL2
Autor/es | Lambán Pardo, Laureano
Martín Mateos, Francisco Jesús Ruiz Reina, José Luis |
Coordinador/Director | Lambán Pardo, Laureano
Romero, Ana Rubio, Julio |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2010 |
Fecha de depósito | 2021-03-16 |
Publicado en |
|
ISBN/ISSN | 978-84-96487-50-5 |
Agencias financiadoras | Ministerio de Educación y Ciencia (MEC). España |
Identificador del proyecto | MTM2009-13842 |
Cita | Lambán Pardo, L., Martín Mateos, F.J., y Ruiz Reina, J.L. (2010). Topología simplicial en ACL2. En L. Lambán Pardo, A. Romero, J. Rubio (Ed.), Contribuciones científicas en honor de Mirian Andrés Gómez (pp. 1-19). Logroño, La Rioja: Universidad de la Rioja. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Topología simplicial en ACL2.pdf | 202.5Kb | [PDF] | Ver/ | |