RUO Home

Repositorio Institucional de la Universidad de Oviedo

View Item 
  •   RUO Home
  • Producción Bibliográfica de UniOvi: RECOPILA
  • Ponencias, Discursos y Conferencias
  • View Item
  •   RUO Home
  • Producción Bibliográfica de UniOvi: RECOPILA
  • Ponencias, Discursos y Conferencias
  • View Item
    • español
    • English
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of RUOCommunities and CollectionsBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_issnAuthor profilesThis CollectionBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_issn

My Account

LoginRegister

Statistics

View Usage Statistics

RECENTLY ADDED

Last submissions
Repository
How to publish
Resources
FAQs

Computing Shortest Resolution Proofs

Author:
Mencía Cascallana, CarlosUniovi authority; Marques Silva, J.
Publication date:
2019
Publisher version:
http://dx.doi.org/10.1007/978-3-030-30244-3_45
Serie:

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Descripción física:
p. 539-551
Description:

EPIA Conference on Artificial Intelligence (19th. 2019. Vila Real, Portugal)

URI:
http://hdl.handle.net/10651/53830
ISBN:
9783030302436
ISSN:
0302-9743
DOI:
10.1007/978-3-030-30244-3_45
Patrocinado por:

This research is supported by the Spanish Government under project TIN2016-79190-R and by the Principality of Asturias under grant IDI/2018/000176. This work is also supported by FCT grants ABSOLV (PTDC/CCI-COM/28986/2017) and FaultLocker (PTDC/CCI-COM/29300/2017).

Collections
  • Informática [872]
  • Investigaciones y Documentos OpenAIRE [8365]
  • Ponencias, Discursos y Conferencias [4228]
Files in this item
Thumbnail
untranslated
Postprint (297.1Kb)
Métricas
Compartir
Exportar a Mendeley
Estadísticas de uso
Estadísticas de uso
Metadata
Show full item record
Página principal Uniovi

Biblioteca

Contacto

Facebook Universidad de OviedoTwitter Universidad de Oviedo
The content of the Repository, unless otherwise specified, is protected with a Creative Commons license: Attribution-Non Commercial-No Derivatives 4.0 Internacional
Creative Commons Image