José Ramón Enrique Arrazola-Ramírez

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Possibilistic Logic

Automatic Theorem Proving

Description Logic Alc

Top Venues

Computación y Sistemas

Res. Comput. Sci.

Int. J. Adv. Intell. Paradigms

Publications