Formalizing simplicial topology in Isabelle/ HOL and Coq

  1. Aransay Azofra, Jesús María 1
  2. Domínguez, César 1
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Libro:
Contribuciones científicas en honor de Mirian Andrés Gómez
  1. Lambán Pardo, Laureano (coord.)
  2. Romero Ibáñez, Ana (coord.)
  3. Rubio García, Julio (coord.)
  4. Andrés Gómez, Mirian (hom.)

Editorial: Universidad de La Rioja

ISBN: 978-84-96487-50-5 978-84-693-3033-3

Año de publicación: 2010

Páginas: 21-41

Tipo: Capítulo de Libro

Repositorio institucional: lock_openAcceso abierto Editor