El Principio de Resolución de Robinson en prueba automática
| dc.contributor.author | Martínez Vidal, Concha | |
| dc.date.accessioned | 2010-01-25T12:15:58Z | |
| dc.date.available | 2010-01-25T12:15:58Z | |
| dc.date.issued | 1985-01 | |
| dc.identifier.citation | MARTÍNEZ VIDAL, Concepción.: «El Principio de Resolución de Robinson en prueba automática», Ágora : Papeles de Filosofía, ISSN 0211-6642, Vol. 5 (1985), 213-225 | gl |
| dc.identifier.issn | 0211-6642 | |
| dc.identifier.uri | http://hdl.handle.net/10347/919 | |
| dc.language.iso | spa | gl |
| dc.publisher | Universidade de Santiago de Compostela. Servizo de Publicacións e Intercambio Científico | gl |
| dc.rights.accessRights | open access | gl |
| dc.subject | Teoremas -- Demostración automática | gl |
| dc.title | El Principio de Resolución de Robinson en prueba automática | gl |
| dc.type | journal article | gl |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 2b95f6f3-e8b4-4dec-9111-76082c600437 | |
| relation.isAuthorOfPublication.latestForDiscovery | 2b95f6f3-e8b4-4dec-9111-76082c600437 |
Files
Original bundle
1 - 1 of 1