Susanna Ghelfo

Publication Activity (10 Years)

Years Active: 1985-1988
Publications (10 Years): 0

Publications

Domenico Cantone, Susanna Ghelfo, Eugenio G. Omodeo
The Automation of Syllogistic I. Syllogistic Normal Forms. J. Symb. Comput. 6 (1) (1988)
Susanna Ghelfo, Eugenio G. Omodeo
Towards Practical Implementations of Syllogistic. European Conference on Computer Algebra (2) (1985)