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

ISSN: 0378-4754

Year of publication: 2000

Volume: 51

Issue: 5

Pages: 419-439

Type: Article

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