Guglielmo Tamburrini, Settimo Termini. Integrating Resolution-like Procedures with Lukasiewicz Implication. In Bernadette Bouchon-Meunier, Llorenç Valverde, Ronald R. Yager, editors, IPMU 92 - Advanced Methods in Artificial Intelligence, 4th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992, Proceedings. Volume 682 of Lecture Notes in Computer Science, pages 101-108, Springer, 1992.
@inproceedings{TamburriniT92,
title = {Integrating Resolution-like Procedures with Lukasiewicz Implication},
author = {Guglielmo Tamburrini and Settimo Termini},
year = {1992},
researchr = {https://researchr.org/publication/TamburriniT92},
cites = {0},
citedby = {0},
pages = {101-108},
booktitle = {IPMU 92 - Advanced Methods in Artificial Intelligence, 4th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992, Proceedings},
editor = {Bernadette Bouchon-Meunier and Llorenç Valverde and Ronald R. Yager},
volume = {682},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56735-6},
}