Khamlichi, Ghada el(Universitat Politècnica de València, 2012-09-27)
El objetivo de este proyecto es crear un método que comprueba el índice de satisfacción automático de las propiedades de la lógica temporal lineal proposicional, mediante un algoritmo Tableau.
Esto se implementara en el ...