Authors: ROANESLOZANO E LAITA LM ROANESMACIAS E

Citation: E. Roaneslozano et al., A POLYNOMIAL MODEL FOR MULTIVALUED LOGICS WITH A TOUCH OF ALGEBRAIC-GEOMETRY AND COMPUTER ALGEBRA, Mathematics and computers in simulation, 45(1-2), 1998, pp. 83-99

Authors: ROANESLOZANO E LAITA LM

Citation: E. Roaneslozano et Lm. Laita, AN APPLICABLE TOPOLOGY-INDEPENDENT MODEL FOR RAILWAY INTERLOCKING SYSTEMS, Mathematics and computers in simulation, 45(1-2), 1998, pp. 175-183

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