| Logic Program Synthesis and Transformation Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation University of Manchester, 4-5 July 1991 | | Editor:
| Clement, Tim P. Lau, K. L. van Rijsbergen, C. J. | Series title: | Workshops in Computing Ser. | ISBN: | 978-0-387-19742-5 | Publication Date: | Mar 1992 | Publisher: | Springer
| Book Format: | Paperback | List Price: | Contact Supplier contact
|
| |