F. Levi
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1993
Abductive Proof Procedures for Fault Diagnosis.
Proceedings of the 8th Italian Conference on Logic Programming, 1993