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


Documents on: tactics

JP28 1991 Journal Paper Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD
Experiments with Proof Plans for Induction


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