Formalizing simplicial topology in Isabelle/ HOL and Coq

Detalles Bibliográficos
Autores:	Aransay Azofra, Jesús María [0000-0002-4079-8307], Domínguez, César [0000-0002-2081-7523]
Tipo de recurso:	capítulo de libro
Estado:	Versión publicada
Fecha de publicación:	2010
País:	España
Institución:	Universidad de La Rioja (UR)
Repositorio:	RIUR. Repositorio Institucional de la Universidad de La Rioja
OAI Identifier:	oai:portal.dialnet.es:doc/5c13b23bc8914b6ed377a1f7
Acceso en línea:	https://investigacion.unirioja.es/documentos/5c13b23bc8914b6ed377a1f7
Access Level:	acceso abierto

Descripción
Descripción no disponible.