| |
| 1999 | ||
|---|---|---|
| 1 | EE | Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Jose A. Alonso: A computer algebra approach to verification and deduction in many-valued knowledge systems. Soft Comput. 3(1): 7-19 (1999) |
| 1 | Luis M. Laita | [1] |
| 2 | Luis de Ledesma | [1] |
| 3 | Eugenio Roanes-Lozano | [1] |