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

Publication Details:
Book: Logic Program Synthesis and Transformation 1992
Editors:Lau, K.K.; Clement, T.
Book#: 3-540-19806-7
Publisher:Springer-Verlag, London
Pages: 1-17

Paper in Conference Proceedings #197

Title:Logic Program Synthesis from Proof Planning
Authors:Kraan,I; Bundy,A; Basin,D
Date: 1993
Keywords:theorem proving, program synthesis

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