Diferencia entre revisiones de «Theories»

De WikiGLC
Saltar a: navegación, buscar
(Resources)
(Resources)
Línea 9: Línea 9:
 
== Resources ==
 
== Resources ==
 
* [http://www.glc.us.es/apli2/ APLI2] (APLIcación de Ayuda Para Lógica Informática).
 
* [http://www.glc.us.es/apli2/ APLI2] (APLIcación de Ayuda Para Lógica Informática).
 +
* [http://www.glc.us.es/desarrollo/f2/ F2] (Implementación en Haskell de F2).

Revisión del 17:31 18 feb 2009