Logic Program Synthesis and Transformation
Subtitle: Proceedings of Lopstr 91 (Workshops in Computing)
Contributors: K. K. Lau (Editor)
Publisher: Springer
Published: March 1992
Language: eng
Number of pages: 337
ISBN-13: 9780387197425