Herramienta para la enseñanza de la deducción natural (2000) Llorens Largo, Faraón Mira Cabrera, Sergio VI Jornadas sobre la Enseñanza Universitaria de la Informática
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: 1
Artículos citantes
| Artículo citante | Anualidad | Localización | Autores |
|---|---|---|---|
| DeduccionNatural.pl Núm. 8 Pág. 129-136 COMUNICACION_CONGRESO | 2023 | Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI) |
Arias, Joaquín
Ramírez Díaz, Iván
Gallinari, Alessandra
|
* Último cálculo de métricas Dialnet: 14-Jun-2026
