El ordenador y la demostración matemática

  1. Lorenzo Martínez, Javier de
Book:
Calculemos... Matemáticas y libertad: homenaje a Miguel Sánchez-Mazas
  1. Peña, Lorenzo (coord.)
  2. Lorenzo Martínez, Javier de (coord.)
  3. Echeverría Ezponda, Javier (coord.)
  4. Sánchez-Mazas Ferlosio, Miguel (hom.)

Publisher: Servicio de Publicaciones ; Universidad del País Vasco = Euskal Herriko Unibertsitatea ; Trotta

ISBN: 84-8164-083-2

Year of publication: 1996

Pages: 187-202

Type: Book chapter

DIALNET GOOGLE SCHOLAR
Data source: Dialnet