Boole's logic revisited from computer algebra
- Laita, L.M.
- De Ledesma, L.
- Roanes-Lozano, E.
- Pérez, A.
- Brunori, A.
ISSN: 0378-4754
Datum der Publikation: 2000
Ausgabe: 51
Nummer: 5
Seiten: 419-439
Art: Artikel
ISSN: 0378-4754
Datum der Publikation: 2000
Ausgabe: 51
Nummer: 5
Seiten: 419-439
Art: Artikel