Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE

Tipo Año Título Fuente
Artículo2024Parallel homological calculus for 3D binary digital imagesANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Artículo2013A continuous analog for 4-dimensional objectsANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Artículo2012Formalization of a normalization theorem in simplicial topologyANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Artículo2012Homological spanning forest framework for 2D image analysisANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Artículo2002Formal proofs about rewriting using ACL2ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE