Sharma, N., & Colomb, R. (1998). Mechanising shared configuration and diagnosis theories through constraint logic programming. The journal of logic programming, 37(1), 255-283. https://doi.org/10.1016/S0743-1066(98)10010-9
Chicago-Zitierstil (17. Ausg.)Sharma, Nirad, und Robert Colomb. "Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming." The Journal of Logic Programming 37, no. 1 (1998): 255-283. https://doi.org/10.1016/S0743-1066(98)10010-9.
MLA-Zitierstil (9. Ausg.)Sharma, Nirad, und Robert Colomb. "Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming." The Journal of Logic Programming, vol. 37, no. 1, 1998, pp. 255-283, https://doi.org/10.1016/S0743-1066(98)10010-9.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.