Logic Program Synthesis and Transformation
Subtitle: Proceedings of Lopstr 93, International Workshop on Logic Program Synthesis and Transformation, Louvain- (Lecture Notes in Control and Information Sciences)
Publisher: Springer
Published: January 1994
Language: eng
Number of pages: 245
ISBN-13: 9780387198644