The OYSTER-CLAM system

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

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

Original languageEnglish
Title of host publicationProceedings of the 10th International Conference on Automated Deduction
Subtitle of host publicationKaiserslautern, FRG, July 24–27, 1990 Proceedings
PublisherSpringer-Verlag GmbH
VolumeLecture Notes in Artificial Intelligence No. 449,
ISBN (Electronic)978-3-540-47171-4
ISBN (Print)978-3-540-52885-2, 3-540-52885-7
Publication statusPublished - 1990

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
ISSN (Print)0302-9743

Cite this