The logical structure of computer-aided mathematical reasoning (1997) Devlin, Keith American mathematical monthly Vol. 104 Núm. 7 Pág. 632-646
Ver en Dialnet
- Número de citas: 1 (0.0% autocitas)
-
insert_chart_outlined Más Indicadores
Ámbito Citas EDUCACION 1
Citas por clasificación CIRC
Otras citas sin clasificación CIRC: 0
Artículos citantes
| Artículo citante | Anualidad | Localización | Autores |
|---|---|---|---|
| Herramientas tecnológicas en el desarrollo de sistemas de representación para la resolución de problemas Vol. 25 Núm. 100 Pág. 23-41 | 2003 | Perfiles educativos |
Santos Trigo, Luz Manuel
Benítez Mojica, David
|
* Último cálculo de métricas Dialnet: 29-Mar-2026
