Topología simplicial en ACL2

Autor: Lambán Pardo, Laureano, Martín Mateos, Francisco Jesús, Ruiz Reina, José Luis, Lambán Pardo, Laureano (Coordinador), Romero, Ana (Coordinador), Rubio, Julio (Coordinador)

Publikováno v: idUS. Depósito de Investigación de la Universidad de Sevilla
instname
idUS: Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)

Ministerio de Educación y Ciencia MTM2009-13842

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7d836ade62cd7ea40bfc1104760e3781