Universal Quantification by Case Analysis
| Title | Universal Quantification by Case Analysis |
| Publication Type | Conference Paper |
| Year of Publication | 1990 |
| Authors | Brogi, A, Mancarella P, Pedreschi D, Turini F |
| Conference Name | ECAI |
Knowledge Discovery and Data Mining Laboratory
Istituto di Scienza e Tecnologie dell'Informazione, CNRDipartimento di Informatica, Università di Pisa