Ponencias
-
Efficient reasoning for inconsistent horn formulae [2016]
- Categoría:
- Ponencias
- Autores:
- R. Peñaloza , Carlos Mencía Cascallana , A. Ignatiev , J. Marques-Silva
- Fecha:
- 01 de Enero de 2016
- Es parte de:
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)