Directorio
JOSE LUIS PRO MARTIN
Categoría
Profesor Sustituto Interino
Contacto
Correo electrónico
Departamento
Área
Ciencia de la Computación e Inteligenc. Artificial
Docencia
Asignaturas que imparte
Investigación
Capítulos en Libros
Pro, José Luis;Quesada-Moreno, Jose Francisco;Jiménez, Diego;Salguero-Lamillar, Francisco Jose:
ELEna. An interdisciplinary research.. Pág. 0-0. John Benjamins Publishing. John Benjamins Publishing. 2020.
ELEna. An interdisciplinary research.. Pág. 0-0. John Benjamins Publishing. John Benjamins Publishing. 2020.
Asistencia a congresos
Pro, José Luis;Ruiz-Reina, Jose Luis;Martín-mateos, Francisco Jesús:
Formalization in ACL2 of Matrix Algebra Basic Concepts. Comunicación en congreso. European Symposium on Computational Intelligence and Mathematics. - CÁDIZ, - CÁDIZ, ESPAÑA. 2015
Formalization in ACL2 of Matrix Algebra Basic Concepts. Comunicación en congreso. European Symposium on Computational Intelligence and Mathematics. - CÁDIZ, - CÁDIZ, ESPAÑA. 2015
Pro, José Luis;Chavez-Gonzalez, Antonia Mª;Borrego-Diaz, Joaquin:
Specifying and Verifying Meta-Security by Means of Semantic Web Methods. Comunicación en congreso. CISIS. International Conference on Computational Intelligence in Security for Information Systems.. Bilbao, Spain.. 2014
Specifying and Verifying Meta-Security by Means of Semantic Web Methods. Comunicación en congreso. CISIS. International Conference on Computational Intelligence in Security for Information Systems.. Bilbao, Spain.. 2014
