Departamento: Sistemas Informáticos y Computación

Facultad: Informática

Área: Lenguajes y Sistemas Informáticos

Email: pjmartin@ucm.es

Doctor por la Universidad Complutense de Madrid con la tesis Métodos de tableaux para lógicas con declaraciones de términos dominios preordenados y operaciones monótonas 2000. Dirigida por Dr. Antonio Javier Gavilanes Franco.

Especialidades predominantes (top 5) Obtenidas a partir de las publicaciones help
Obtenidas a partir de las publicaciones

Las especialidades temáticas mostradas se han obtenido mediante la aplicación de modelos de inteligencia artificial, obtenidos como resultado del Proyecto Hércules.

El listado puede contener errores. En proceso de evaluación y mejora. Compartido para recoger sugerencias de la comunidad.

  1. Computational Theory and Mathematics (Computer Science) Filtrar
  2. Software (Computer Science) Filtrar
  3. Computer Graphics and Computer-Aided Design (Computer Science) Filtrar
  4. Hardware and Architecture (Computer Science) Filtrar
  5. Atomic and Molecular Physics, and Optics (Physics and Astronomy) Filtrar