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.
Revue:
Mathematics and Computers in Simulation

ISSN: 0378-4754

Année de publication: 2000

Volumen: 51

Número: 5

Pages: 419-439

Type: Article

DOI: 10.1016/S0378-4754(99)00134-2 GOOGLE SCHOLAR