jueves, 30 de agosto de 2007

Thesis conclusions

The main objective of this thesis was to explore whether the language of effectively propositional logic is a suitable alternative to succinctly and naturally encode problems from different application domains. Moreover, we argue that this is definitively awesome and everybody should do it.
A veces siento una necesidad tremenda por dejar una frase de ese estilo en mi tesis. :-P

No hay comentarios.: