Edinburgh Research Explorer

The OYSTER-CLAM system

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

Related Edinburgh Organisations

Open Access permissions

Open

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
Pages647-648
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
DOIs
StatePublished - 1990

Publication series

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

Download statistics

No data available

ID: 403776