English
español
Navegación por Palabras clave Formal logic
Mostrando resultados 1 a 5 de 5
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
openAccess | 1994 | Expressing Program Requirements Using Refinement Lattices | Robertson, Dave; Agustí-Cullel, Jaume CSIC; Hesketh, Jane; Levy, Jordi CSIC ORCID | artículo | |
openAccess | dic-2015 | Fuzzy Sets and Formal Logics | Godo, Lluis CSIC ORCID ; Gottwald, Siegfried | artículo | |
closedAccess | 2008 | On some properties of quasi-MV algebras and √′ quasi-MV algebras. Part II | Bou, Felix CSIC; Paoli, Francesco; Ledda, Antonio; Freytes, Hector | artículo | |
openAccess | 15-may-1992 | Review of David A. White, "Logic and Ontology in Heidegger" | Peña, Lorenzo CSIC | artículo | |
closedAccess | 2003 | Solving Max-SAT as Weighted CSP | Givry, Simon de; Larrosa, Javier; Meseguer, Pedro CSIC ORCID ; Schiex, Thomas | artículo |