Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Meta-Programming in Logic Programming
| Editors: | Abramson, A.; Rogers, M.H.
| Book#: | 0 262 510472
| Publisher: | the MIT Press, London
| Volume: | MISSING
| Pages: | 123-140
| |
Chapter in Edited Book #375 | |
Title: | Reflection in Constructive and Non Constructive Automated Reasoning |
---|---|
Authors: | Giunchiglia,F; Smaill,AD |
Date: | 1989 |
Presented: | |
Keywords: | automated reasoning, reflection |