ISBN 9780387197425 books & textbook

Logic Program Synthesis and Transformation: Proceedings of Lopstr 91 (Workshops in Computing)

& K. K. Lau eds. Clement, T. P.

Springer /1992-01-01 Paperback / 337 Pages
isbn-10: 0387197427 / isbn-13: 9780387197425