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

Publication Details:
Book: Meta-Programming in Logic Programming
Editors:Abramson, A.; Rogers, M.H.
Book#: 0 262 510472
Publisher:the MIT Press, London
Pages: 123-140

Chapter in Edited Book #375

Title:Reflection in Constructive and Non Constructive Automated Reasoning
Authors:Giunchiglia,F; Smaill,AD
Date: 1989
Keywords:automated reasoning, reflection

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