Acciones

Diferencia entre revisiones de «Razonamiento automático»

De Razonamiento automático (2010-11)

(Relaciones de ejercicios)
(Ejemplos)
Línea 3: Línea 3:
 
=== Ejemplos ===
 
=== Ejemplos ===
 
* [[Deducción natural en lógica proposicional con Isabelle/Isar]].
 
* [[Deducción natural en lógica proposicional con Isabelle/Isar]].
 +
* [[Deducción natural en lógica de primer orden con Isabelle/Isar]].
  
 
=== Relaciones de ejercicios ===
 
=== Relaciones de ejercicios ===

Revisión del 11:04 4 feb 2011

Razonamiento automático (2010-11)

Ejemplos

Relaciones de ejercicios