Edinburgh Research Explorer

The OYSTER-CLAM system

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

The OYSTER-CLAM system. / Bundy, Alan; van Harmelen, F.; Horn, C.; Smaill, A.

Proceedings of the 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. Vol. Lecture Notes in Artificial Intelligence No. 449, Springer-Verlag GmbH, 1990. p. 647-648 (Lecture Notes in Computer Science; Vol. 449).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Bundy, A, van Harmelen, F, Horn, C & Smaill, A 1990, The OYSTER-CLAM system. in Proceedings of the 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. vol. Lecture Notes in Artificial Intelligence No. 449, Lecture Notes in Computer Science, vol. 449, Springer-Verlag GmbH, pp. 647-648. DOI: 10.1007/3-540-52885-7_123

APA

Bundy, A., van Harmelen, F., Horn, C., & Smaill, A. (1990). The OYSTER-CLAM system. In Proceedings of the 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings (Vol. Lecture Notes in Artificial Intelligence No. 449, pp. 647-648). (Lecture Notes in Computer Science; Vol. 449). Springer-Verlag GmbH. DOI: 10.1007/3-540-52885-7_123

Vancouver

Bundy A, van Harmelen F, Horn C, Smaill A. The OYSTER-CLAM system. In Proceedings of the 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. Vol. Lecture Notes in Artificial Intelligence No. 449,. Springer-Verlag GmbH. 1990. p. 647-648. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/3-540-52885-7_123

Author

Bundy, Alan ; van Harmelen, F. ; Horn, C. ; Smaill, A./ The OYSTER-CLAM system. Proceedings of the 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. Vol. Lecture Notes in Artificial Intelligence No. 449, Springer-Verlag GmbH, 1990. pp. 647-648 (Lecture Notes in Computer Science).