home
>
book reviews
> Fausto Giunchiglia
Google >
Fausto Giunchiglia
author : Fausto Giunchiglia
Short works
Reflection in constructive and non-constructive automated reasoning. 1989.
(In
Meta-Programming in Logic Programming
)