Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming

Nirad Sharma, Robert M. Colomb. Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming. Journal of Logic and Algebraic Programming, 37(1-3):255-283, 1998.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.