Logic Program Synthesis and Transformation — Meta-Programming in Logic

Author
Laurent Fribourg, Franco Turini
Publisher
Springer
Subject
Computer Science
Year
1994
Vol/Edition
883
ISBN
9783540491040