Modelling logical expressions exercises
Rubén Ruiz‐Femenia, Ignacio Aracil Sáez, J. A. Caballero · RUA, Repositorio Institucional de la Universidad de Alicante (Universidad de Alicante) · 2011
Exercises of application of the systematic procedure to derive linear inequalities for logic expressions (Ejercicios de aplicación del método sistemático de obtención de restricciones lineales para expresiones lógicas).