Logic Program Synthesis and Transformation
Subtitle: 7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540496748