Logic Program Synthesis and Transformation: Proceedings of Lopstr 92, International Workshop on Logic Program Synthesis and Transformation, Universit (Workshops in Computing)

by: International Workshop on Logic Program Synthesis and Transformation (1992 : University of Manchester) · British Computer Society · Association for Logic Programming · Uk Conference on Logic Programming

Paperback

details (USA).

ISBN: 978-0-387-19806-4

ISBN-10: 0-387-19806-7

Springer Verlag · 1993