Logic Program Synthesis and Transformation-- Meta-Programming in Logic
Subtitle: 4th International Workshops, Lopstr '94 and Meta '94, Pisa, Italy, June 1994 (Lecture Notes in Computer Science)
Publisher: Springer-Verlag
Published: December 1994
Language: eng
Format: Hardcover
Number of pages: 450
ISBN-13: 9780387587929
Subjects: Logic; Mathematics; Congresses; Logic Programming; Computer Books: General; Science/Mathematics