dc.creator | Alonso Jiménez, José Antonio | es |
dc.creator | Borrego Díaz, Joaquín | es |
dc.creator | Chávez González, Antonia María | es |
dc.date.accessioned | 2018-06-01T08:15:27Z | |
dc.date.available | 2018-06-01T08:15:27Z | |
dc.date.issued | 2001 | |
dc.identifier.citation | Alonso Jiménez, J.A., Borrego Díaz, J. y Chávez González, A.M. (2001). Deducción Automática en Anillos Ternarios: Algunos Métodos de Procesamiento del Conocimiento Matemático. En Encuentro de matemáticos andaluces (23-32), Sevilla, España: Universidad de Sevilla - Fundación El Monte. | |
dc.identifier.isbn | 84-472-0639-4 | es |
dc.identifier.uri | https://hdl.handle.net/11441/75542 | |
dc.description.sponsorship | Ministerio de Educación y Cultura DGES PB96-0098-C04-04 | es |
dc.description.sponsorship | Ministerio de Educación y Cultura DGES PB96-1345 | es |
dc.description.sponsorship | Junta de Andalucía PAI TIC-137 | es |
dc.format | application/pdf | es |
dc.language.iso | spa | es |
dc.publisher | Universidad de Sevilla - Fundación El Monte | es |
dc.relation.ispartof | Encuentro de matemáticos andaluces (2001), p 23-32 | |
dc.rights | Atribución-NoComercial-SinDerivadas 3.0 Estados Unidos de América | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Deducción Automática en Anillos Ternarios: Algunos Métodos de Procesamiento del Conocimiento Matemático | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.projectID | DGES PB96-0098-C04-04 | es |
dc.relation.projectID | DGES PB96-1345 | es |
dc.relation.projectID | PAI TIC-137 | es |
dc.contributor.group | Universidad de Sevilla. TIC137: Logica, Computacion e Ingenieria del Conocimiento | es |
idus.format.extent | 8 | es |
dc.publication.initialPage | 23 | es |
dc.publication.endPage | 32 | es |
dc.eventtitle | Encuentro de matemáticos andaluces | es |
dc.eventinstitution | Sevilla, España | es |
dc.relation.publicationplace | Sevilla | es |