Flávio S. Corréa da Silva

Bibliography

Corréa da Silva, Flávio S., Robertson, Dave and Chung, Paul Seungoh. 1991. “Automated Reasoning about an Uncertain Domain.” in Symbolic and Quantitative Approaches for Uncertainty: Proceedings of the European Conference ECSQAU, Marseille, France, October 1991, edited by Rudolf Kruse and Pierre Siegel, pp. 141–145. Lecture Notes in Computer Science n. 548. Berlin: Springer.