Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/136285
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Martínez Alonso, Juan Carlos | - |
dc.date.accessioned | 2019-07-03T07:15:46Z | - |
dc.date.available | 2019-07-03T07:15:46Z | - |
dc.date.issued | 2000 | - |
dc.identifier.issn | 0214-316X | - |
dc.identifier.uri | http://hdl.handle.net/2445/136285 | - |
dc.description.abstract | En la demostració automàtica es planteja el problema de trobar, en un cert llenguatge formal, mètodes mecànics de demostració de teoremes que puguin dur-se a la pràctica. El llenguatge formal que es faci servir ha de complir dos requisits bàsics: (a) Ha de tenir una capacitat expressiva prou àmplia per poder representar problemes formals. (b) Ha de tenir la propietat que, a través d'ell, sigui possible desenvolupar Mecanismes d'inferència automàtica que puguin ser implementats en un ordinador. | - |
dc.format.extent | 16 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | cat | - |
dc.publisher | IEC | - |
dc.relation.isformatof | Reproducció del document publicat a: http://revistes.iec.cat/index.php/BSCM/article/view/9751/9745 | - |
dc.relation.ispartof | Butlletí de la Societat Catalana de Matemàtiques, 2000, vol. 15, num. 1, p. 55-70 | - |
dc.rights | cc-by-nc-nd (c) Martínez Alonso, Juan Carlos, 2000 | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es | - |
dc.source | Articles publicats en revistes (Matemàtiques i Informàtica) | - |
dc.subject.classification | Demostració automàtica de teoremes | - |
dc.subject.classification | PROLOG (Llenguatges de programació) | - |
dc.subject.classification | Lògica matemàtica | - |
dc.subject.other | Automatic theorem proving | - |
dc.subject.other | Prolog (Computer program language) | - |
dc.subject.other | Mathematical logic | - |
dc.title | Demostració automàtica | - |
dc.type | info:eu-repo/semantics/article | - |
dc.type | info:eu-repo/semantics/publishedVersion | - |
dc.identifier.idgrec | 512850 | - |
dc.date.updated | 2019-07-03T07:15:46Z | - |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
Appears in Collections: | Articles publicats en revistes (Matemàtiques i Informàtica) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
512850.pdf | 116.81 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License