Páginas nuevas
- 15:33 19 dic 2012 Tema 4: Deducción natural proposicional con Isabelle/HOL (hist) [23 354 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Tema 4: Deducción natural proposicional con Isabelle/HOL *} theory DNLP imports Main begin text {* En esta sección se presentan los ejemplo...')
- 22:55 18 dic 2012 Relación 4 (hist) [12 962 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Relación 4: Argumentación proposicional *} theory R4 imports Main begin text {* -----------------------------------------------------------...')
- 22:54 18 dic 2012 Rel 4 (hist) [8779 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar> header {* Relación 4: Argumentación proposicional *} theory R4 imports Main begin text {* ------------------------------------------------------------...')
- 18:48 18 dic 2012 Relación 3 (hist) [30 021 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Relación 3: Deducción natural proposicional *} theory DNLP imports Main begin text {* -----------------------------------------------------...')
- 18:47 18 dic 2012 Rel 3 (hist) [17 759 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Relación 3: Deducción natural proposicional *} theory DNLP imports Main begin text {* -----------------------------------------------------...')
- 18:03 18 dic 2012 Tema 4: Deducción natural en lógica proposicional con Isabelle/HOL (hist) [23 350 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> header {* Tema 4: Deducción natural en lógica proposicional con Isabelle/HOL *} theory DNLP imports Main begin text {* En esta sección se presentan ...')