Boole's logic revisited from computer algebra
- Laita, L.M.
- De Ledesma, L.
- Roanes-Lozano, E.
- Pérez, A.
- Brunori, A.
ISSN: 0378-4754
Ano de publicación: 2000
Volume: 51
Número: 5
Páxinas: 419-439
Tipo: Artigo
ISSN: 0378-4754
Ano de publicación: 2000
Volume: 51
Número: 5
Páxinas: 419-439
Tipo: Artigo