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

by T. P. Clement Paperback details (USA). ISBN: 978-0-387-19742-5 ISBN-10: 0-387-19742-7 Springer Verlag · 1992