The automation of syllogistic. I: Syllogistic normal form
D. CANTONE
•
S. GHELFO
•
OMODEO, EUGENIO
1988
Periodico
JOURNAL OF SYMBOLIC COMPUTATION
Archivio
Diritti
metadata only access