Topología simplicial en ACL2

Authors
Publication date
1 January 2010
Publisher
'Universidad de la Rioja'

Abstract

Ministerio de Educación y Ciencia MTM2009-1384

    Similar works

    Full text

    thumbnail-image

    Available Versions

    idUS. Depósito de Investigación Universidad de Sevilla

    redirect
    oaioai:idus.us.es:11441/106126
    Last time updated on 11/04/2021