Mostrar el registro sencillo del ítem
Computing Shortest Resolution Proofs
| dc.contributor.author | Mencía Cascallana, Carlos | |
| dc.contributor.author | Marques Silva, J. | |
| dc.date.accessioned | 2020-01-23T08:17:45Z | |
| dc.date.available | 2020-01-23T08:17:45Z | |
| dc.date.issued | 2019 | |
| dc.identifier.isbn | 9783030302436 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.uri | http://hdl.handle.net/10651/53830 | |
| dc.description | EPIA Conference on Artificial Intelligence (19th. 2019. Vila Real, Portugal) | |
| dc.description.sponsorship | 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). | |
| dc.format.extent | p. 539-551 | |
| dc.language.iso | eng | |
| dc.relation.ispartof | EPIA 2019: Progress in Artificial Intelligence | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
| dc.rights | © Springer Nature Switzerland AG 2019 | |
| dc.rights | Esta es una versión posterior a la revisión por pares y la edición previa a la copia de un artículo publicado en Lecture Notes in Computer Science. La versión final autenticada está disponible en línea en: http://dx.doi.org/10.1007/978-3-030-30244-3_45 | |
| dc.source | Scopus | |
| dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85072870952&doi=10.1007%2f978-3-030-30244-3_45&partnerID=40&md5=87f19bc70f5f3a0acc0f9470c327d01f | |
| dc.title | Computing Shortest Resolution Proofs | |
| dc.type | conference output | spa |
| dc.identifier.doi | 10.1007/978-3-030-30244-3_45 | |
| dc.relation.projectID | TIN2016-79190-R | |
| dc.relation.projectID | IDI/2018/000176 | |
| dc.relation.publisherversion | http://dx.doi.org/10.1007/978-3-030-30244-3_45 | |
| dc.rights.accessRights | open access | |
| dc.type.hasVersion | AM |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Informática [810]
-
Investigaciones y Documentos OpenAIRE [8058]
Publicaciones resultado de proyectos financiados con fondos públicos -
Ponencias, Discursos y Conferencias [4066]