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/39665

Title: BEACON: An efficient SAT-based tool for debugging εL+ ontologies
Author(s): Arif, M. F.
Mencía Cascallana, Carlos
Ignatiev, A.
Manthey, N.
Peñaloza, R.
Marques-Silva, J.
Issue date: 2016
Publisher version: http://dx.doi.org/10.1007/978-3-319-40970-2_32
Format extent: p. 521-530
URI: http://hdl.handle.net/10651/39665
ISBN: 9783319409696
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