Please use this identifier to cite or link to this item: http://hdl.handle.net/2445/136285
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMartínez Alonso, Juan Carlos-
dc.date.accessioned2019-07-03T07:15:46Z-
dc.date.available2019-07-03T07:15:46Z-
dc.date.issued2000-
dc.identifier.issn0214-316X-
dc.identifier.urihttp://hdl.handle.net/2445/136285-
dc.description.abstractEn 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.extent16 p.-
dc.format.mimetypeapplication/pdf-
dc.language.isocat-
dc.publisherIEC-
dc.relation.isformatofReproducció del document publicat a: http://revistes.iec.cat/index.php/BSCM/article/view/9751/9745-
dc.relation.ispartofButlletí de la Societat Catalana de Matemàtiques, 2000, vol. 15, num. 1, p. 55-70-
dc.rightscc-by-nc-nd (c) Martínez Alonso, Juan Carlos, 2000-
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es-
dc.subject.classificationDemostració automàtica de teoremes-
dc.subject.classificationPROLOG (Llenguatges de programació)-
dc.subject.classificationLògica matemàtica-
dc.subject.otherAutomatic theorem proving-
dc.subject.otherProlog (Computer program language)-
dc.subject.otherMathematical logic-
dc.titleDemostració automàtica-
dc.typeinfo:eu-repo/semantics/article-
dc.typeinfo:eu-repo/semantics/publishedVersion-
dc.identifier.idgrec512850-
dc.date.updated2019-07-03T07:15:46Z-
dc.rights.accessRightsinfo:eu-repo/semantics/openAccess-
Appears in Collections:Articles publicats en revistes (Matemàtiques i Informàtica)

Files in This Item:
File Description SizeFormat 
512850.pdf116.81 kBAdobe PDFView/Open


This item is licensed under a Creative Commons License Creative Commons