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

Buch:
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.)

Verlag: Universidad de La Rioja

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

Datum der Publikation: 2010

Seiten: 21-41

Art: Buch-Kapitel

DIALNET GOOGLE SCHOLAR lock_openDialnet editor
Institutionelles Repository: lock_openOpen Access Editor
Fuente de los datos: Dialnet