Susanna Ghelfo (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Domenico Cantone, Susanna Ghelfo, Eugenio G. Omodeo: The Automation of Syllogistic I. Syllogistic Normal Forms. J. Symb. Comput. 6(1): 83-98 (1988)

1 Susanna Ghelfo, Eugenio G. Omodeo: Towards Practical Implementations of Syllogistic. European Conference on Computer Algebra (2) 1985: 40-49

Selection of 2 from 2 records - Susanna Ghelfo has 2 coauthors

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