Mostrar el registro sencillo del ítem
Tesis Doctoral
Métodos algebraicos de razonamiento automático
| dc.contributor.advisor | Riscos Fernández, Agustín | es |
| dc.creator | Alonso Jiménez, José Antonio | es |
| dc.date.accessioned | 2014-11-27T11:40:34Z | |
| dc.date.available | 2014-11-27T11:40:34Z | |
| dc.date.issued | 1988 | es |
| dc.identifier.citation | Alonso Jiménez, J.A. (1988). Métodos algebraicos de razonamiento automático. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla. | |
| dc.identifier.uri | http://hdl.handle.net/11441/14968 | |
| dc.format | application/pdf | es |
| dc.language.iso | spa | es |
| dc.rights | Atribución-NoComercial-SinDerivadas 4.0 España | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.subject | Lógica simbólica y matemática | es |
| dc.subject | Informática teórica | es |
| dc.title | Métodos algebraicos de razonamiento automático | es |
| dc.type | info:eu-repo/semantics/doctoralThesis | es |
| dcterms.identifier | https://ror.org/03yxnpp24 | |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
| dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
| idus.format.extent | 132 p. | es |
| dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/14968 |
| Ficheros | Tamaño | Formato | Ver | Descripción |
|---|---|---|---|---|
| C_043-071.pdf | 3.279Mb | 
[PDF]
| Ver/ | |
Este registro aparece en las siguientes colecciones
Excepto si se señala otra cosa, la licencia del ítem se describe como: Atribución-NoComercial-SinDerivadas 4.0 España