[Lecture Notes in Computer Science] Logic Program Synthesis and Transformation — Meta-Programming in Logic Volume 883 || Introspective metatheoretic reasoning
Fribourg, Laurent; Turini, Franco
- 作者Fribourg, Laurent; Turini, Franco
- 文件大小829.13KB
- 发表时间1994
- DOI10.1007/3-540-58792-6_26
- 页码425-439