ListarPonencias (Ciencias de la Computación e Inteligencia Artificial) por materia "Boolean derivatives"
Mostrando ítems 1-1 de 1
-
Ponencia
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
(Springer, 2009)We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful ...