Susanna Ghelfo

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1988

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

1985

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

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

Coauthor Index

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page