Login / Signup
Iván Martínez Ruiz
Publication Activity (10 Years)
Years Active: 2013-2016
Publications (10 Years): 1
Top Topics
Possibilistic Logic
Fixpoint
Minimal Models
Automatic Theorem Proving
Top Venues
MICAI (1)
Computación y Sistemas
Int. J. Adv. Intell. Paradigms
MICAI (Special Sessions)
</>
Publications
</>