DBLP:conf/ijcai/GiunchigliaT91 + redirect page
Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code + Has identifier
| Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code |
Has publishing details
pp. 111-117, 1991
Has title
Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai91.html#GiunchigliaT91
Has where published
IJCAI
Has year
1991
Has author
Fausto Giunchiglia +, Paolo Traverso +
Has identifier
Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code +
Categories Proceeding Paper +
|
