Authors: DELEDESMA L PEREZ A BORRAJO D LAITA LM

Citation: L. Deledesma et al., A COMPUTATIONAL APPROACH TO BOOLE,GEORGE DISCOVERY OF MATHEMATICAL LOGIC, Artificial intelligence, 91(2), 1997, pp. 281-307

Authors: LAITA LM RAMIREZ B DELEDESMA L RISCOS A

Citation: Lm. Laita et al., A FORMAL MODEL FOR VERIFICATION OF DYNAMIC CONSISTENCY OF KBSS, Computers & mathematics with applications, 29(5), 1995, pp. 81-96

Authors: LAITA LM COUTO J DELEDESMA L MARGARIT AF

Citation: Lm. Laita et al., A FORMAL MODEL FOR KNOWLEDGE-BASED SYSTEMS VERIFICATION, International journal of intelligent systems, 9(9), 1994, pp. 769-786