The OYSTER-CLAM system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 449 LNAI, Issue , 1990, Pages 647-648

  Bundy, Alan ^a   van Harmelen, Frank ^a   Horn, Christian ^a,b   Smaill, Alan ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0348170645     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-52885-7_123     Document Type: Conference Paper

References (3)

1. A. Bundy, van Harmelen. F., and A. Smaill. Extensions to the Rippling- Out Tactic for Guiding Inductive Proofs. Research Paper 459, Dept. of Artificial Intelligence, Edinburgh, 1989. To appear in the proceedings of CADE-10.
2. C. Horn. The Nurprl Proof Development System. Working paper 214, Dept. of Artificial Intelligence, Edinburgh, 1988. The Edinburgh version of Nurprl has been renamed Oyster.
3. F. van Harmelen. The CLAM Proof Planner, User Manual and Programmer Manual. Technical Paper TP-4, Dept. of Artificial Intelligence, Edinburgh, 1989.