Logic Program Synthesis and Transformation - Meta-Programming in Logic

International Workshop on Logic Program Synthesis and Transformation
Bok · Engelsk

Annen tittel	Logic Program Synthesis and Transformation — Meta-Programming in Logic
Utgitt	Springer Berlin Heidelberg
Emner	Logic programming - Congresses.
Dewey	005.1/1
ISBN	3-540-58792-6