Mostrar el registro sencillo del ítem
Ponencia
Preuve automatique dans le calcul propositionnel et les logiques trivalentes
dc.creator | Alonso Jiménez, José Antonio | es |
dc.creator | Briales Morales, Emilio | es |
dc.date.accessioned | 2017-03-06T09:18:11Z | |
dc.date.available | 2017-03-06T09:18:11Z | |
dc.date.issued | 1987 | |
dc.identifier.citation | Alonso Jiménez, J.A. y Briales Morales, E. (1987). Preuve automatique dans le calcul propositionnel et les logiques trivalentes. En Computational Topology and Geometry and Computation in Teaching of Mathematics, Sevilla. | |
dc.identifier.uri | http://hdl.handle.net/11441/55313 | |
dc.description.abstract | Nous présentons une application des bases de Gröbner (bases standard) d’idéaux de polynômes la vérification des tautologies dans le Calcul Propositionnel et dans trois types de logiques trivalentes. L’idée base est de transformer les formules en polynômes, et de trouver l’´equivalent algèbrique de la déduction: nous verons des théorèmes faisant la liaison entre déduction et crièeres de réduction algèbrique. | es |
dc.format | application/pdf | es |
dc.language.iso | fra | es |
dc.relation.ispartof | Computational Topology and Geometry and Computation in Teaching of Mathematics (1987). | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Preuve automatique dans le calcul propositionnel et les logiques trivalentes | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | 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.contributor.affiliation | Universidad de Sevilla. Departamento de álgebra | es |
dc.contributor.group | Universidad de Sevilla. TIC137: Lógica, Computación e Ingeniería del Conocimiento | es |
dc.contributor.group | Universidad de Sevilla. FQM366: Álgebras de Semigrupos, Computación y Aplicaciones | es |
idus.format.extent | 10 p. | es |
dc.eventtitle | Computational Topology and Geometry and Computation in Teaching of Mathematics | es |
dc.eventinstitution | Sevilla | es |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Preuve automatique dans le calcul ... | 112.2Kb | [PDF] | Ver/ | |