Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | CONICET | - |
| dc.creator | Alrajeh, Dalal | - |
| dc.creator | Russo, Alessandra | - |
| dc.creator | Kramer, Jeff | - |
| dc.creator | Uchitel, Sebastian | - |
| dc.date | 2015-11-09T18:33:28Z | - |
| dc.date | 2015-11-09T18:33:28Z | - |
| dc.date | 2014-02 | - |
| dc.date | 2016-03-30 10:35:44.97925-03 | - |
| dc.date.accessioned | 2019-04-29T15:44:19Z | - |
| dc.date.available | 2019-04-29T15:44:19Z | - |
| dc.date.issued | 2015-11-09T18:33:28Z | - |
| dc.date.issued | 2015-11-09T18:33:28Z | - |
| dc.date.issued | 2014-02 | - |
| dc.date.issued | 2016-03-30 10:35:44.97925-03 | - |
| dc.identifier | Alrajeh, Dalal ; Russo, Alessandra; Kramer, Jeff ; Uchitel, Sebastian; Automated support for diagnosis and repair; Assoc Computing Machinery; Communications Of The Acm; 58; 2-2014; 65-72 | - |
| dc.identifier | 0001-0782 | - |
| dc.identifier | http://hdl.handle.net/11336/2706 | - |
| dc.identifier.uri | http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/300737 | - |
| dc.description | Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous systems. | - |
| dc.description | Fil: Alrajeh, Dalal . Imperial College London; Reino Unido | - |
| dc.description | Fil: Russo, Alessandra. Imperial College London; Reino Unido | - |
| dc.description | Fil: Kramer, Jeff . Imperial College London; Reino Unido | - |
| dc.description | Fil: Uchitel, Sebastian. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.language | eng | - |
| dc.publisher | Assoc Computing Machinery | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/doi/10.1145/2658986 | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/url/http://cacm.acm.org/magazines/2015/2/182635-automated-support-for-diagnosis-and-repair/fulltext | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1145/2658986 | - |
| dc.rights | info:eu-repo/semantics/restrictedAccess | - |
| dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | - |
| dc.source | reponame:CONICET Digital (CONICET) | - |
| dc.source | instname:Consejo Nacional de Investigaciones Científicas y Técnicas | - |
| dc.source | instacron:CONICET | - |
| dc.source.uri | http://hdl.handle.net/11336/37399 | - |
| dc.subject | Model | - |
| dc.subject | Checking | - |
| dc.subject | Ciencias de la Computación | - |
| dc.subject | Ciencias de la Computación e Información | - |
| dc.subject | CIENCIAS NATURALES Y EXACTAS | - |
| dc.title | Automated support for diagnosis and repair | - |
| dc.type | info:eu-repo/semantics/article | - |
| dc.type | info:eu-repo/semantics/publishedVersion | - |
| dc.type | info:ar-repo/semantics/articulo | - |
| Aparece en las colecciones: | CONICET | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.