Boole's logic revisited from computer algebra

  1. Laita, L.M.
  2. De Ledesma, L.
  3. Roanes-Lozano, E.
  4. Pérez, A.
  5. Brunori, A.
Revista:
Mathematics and Computers in Simulation

ISSN: 0378-4754

Año de publicación: 2000

Volumen: 51

Número: 5

Páginas: 419-439

Tipo: Artículo

DOI: 10.1016/S0378-4754(99)00134-2 GOOGLE SCHOLAR
Fuente de los datos: Scopus