Logic program synthesis and transformation-- Meta-programming in Logic

International Workshop on Logic Program Synthesis and Transformation (4th 1994 Pisa, Italy) · 1994

450 pages · ~11h read

philosophy · technology