Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - ... (Lecture Notes in Computer Science)

von Laurent Fribourg Springer Berlin Heidelberg · 1994 Taschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) ISBN: 978-3-540-58792-7 ISBN-10: 3-540-58792-6