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

Publication Details:
Book: Logic Programming and Automated Reasoning 92
Editors:Voronkov, A.
Book#: 3-540-55727-X
Publisher:Springer-Verlag, Berlin
Pages: 214-225

Paper in Conference Proceedings #113

Title:On the Use of the Constructive Omega-Rule within Automated Deduction
Authors:Baker,S; Ireland,A; Smaill,AD
Date: 1992
Keywords:automated deduction, generalisation

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