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

ISSN: 0378-4754

Datum der Publikation: 2000

Ausgabe: 51

Nummer: 5

Seiten: 419-439

Art: Artikel

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