The OYSTER-CLAM system

Alan Bundy; F. van Harmelen; C. Horn; A. Smaill

doi:10.1007/3-540-52885-7_123

The OYSTER-CLAM system

Alan Bundy, F. van Harmelen, C. Horn, A. Smaill

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the 10th International Conference on Automated Deduction
Subtitle of host publication	Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Publisher	Springer
Pages	647-648
Volume	Lecture Notes in Artificial Intelligence No. 449,
ISBN (Electronic)	978-3-540-47171-4
ISBN (Print)	978-3-540-52885-2, 3-540-52885-7
DOIs	https://doi.org/10.1007/3-540-52885-7_123
Publication status	Published - 1990

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	449
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-52885-7_123

Full textAccepted author manuscript, 1.46 MB

http://portal.acm.org/citation.cfm?id=752324&CFID=7819375&CFTOKEN=71007731

Cite this

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. https://doi.org/10.1007/3-540-52885-7_123

@inproceedings{3156ab35984f4657b1b4105b2caf4636,

title = "The OYSTER-CLAM system",

author = "Alan Bundy and {van Harmelen}, F. and C. Horn and A. Smaill",

year = "1990",

doi = "10.1007/3-540-52885-7_123",

language = "English",

isbn = "978-3-540-52885-2",

volume = "Lecture Notes in Artificial Intelligence No. 449,",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "647--648",

booktitle = "Proceedings of the 10th International Conference on Automated Deduction",

address = "United Kingdom",

}

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, pp. 647-648. https://doi.org/10.1007/3-540-52885-7_123

The OYSTER-CLAM system. / Bundy, Alan; van Harmelen, F.; Horn, C. et al.
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, 1990. p. 647-648 (Lecture Notes in Computer Science; Vol. 449).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - The OYSTER-CLAM system

AU - Bundy, Alan

AU - van Harmelen, F.

AU - Horn, C.

AU - Smaill, A.

PY - 1990

Y1 - 1990

U2 - 10.1007/3-540-52885-7_123

DO - 10.1007/3-540-52885-7_123

M3 - Conference contribution

SN - 978-3-540-52885-2

SN - 3-540-52885-7

VL - Lecture Notes in Artificial Intelligence No. 449,

T3 - Lecture Notes in Computer Science

SP - 647

EP - 648

BT - Proceedings of the 10th International Conference on Automated Deduction

PB - Springer

ER -