The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Publication Details:
Book: Automated Deduction -- CADE-11
Editors:Kapur, D.
Book#: 3-540-55602-8
Publisher:Springer-Verlag, Berlin
Pages: 325-339

Paper in Conference Proceedings #236

Title:the Use of Proof Plans to Sum Series
Authors:Bundy,A; Walsh,T; Nunes,A
Date: 1992
Keywords:proof plans, rippling

[Search These Pages] [DAI Home Page] [Comment]