On Fairness in Distributed Automated Deduction.
Journal
STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, W?rzburg, Germany, February 25-27, 1993, Proceedings
Pages
141-152
Date Issued
1993
Author(s)
Bonacina, Maria Paola
SDGs
Type
conference paper