Logic Program Synthesis and Transformation: Proceedings of Lopstr 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-

International

by Yves Deville

Paperback

ISBN: 978-0-387-19864-4

ISBN-10: 0-387-19864-4

Springer Verlag · 1994