English español
Search
 

Repositorio de la Universidad de Oviedo. > Producción Bibliográfica de UniOvi: RECOPILA > Ponencias, Discursos y Conferencias >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10651/40859

Title: Efficient reasoning for inconsistent horn formulae
Author(s): Marques-Silva, J.
Ignatiev, A.
Mencía Cascallana, Carlos
Peñaloza, R.
Issue date: 2016
Publisher version: http://dx.doi.org/10.1007/978-3-319-48758-8_22
Format extent: p. 336-352
URI: http://hdl.handle.net/10651/40859
ISBN: 9783319487571
ISSN: 0302-9743
Appears in Collections:Ponencias, Discursos y Conferencias

Files in This Item:

There are no files associated with this item.



Exportar a Mendeley


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Base de Datos de Autoridades Biblioteca Universitaria Consultas / Sugerencias