Páginas nuevas
- 16: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...')
- 23: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 {* -----------------------------------------------------------...')
- 23: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 {* ------------------------------------------------------------...')
- 19: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 {* -----------------------------------------------------...')
- 19: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 {* -----------------------------------------------------...')
- 19: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 ...')