Logic Program Synthesis and Transformation-- Meta-Programming in Logic: 4th International Workshops, Lopstr '94 and Meta '94, Pisa, Italy, June 1994 (Lecture Notes in Computer Science)
by:
Laurent Fribourg
·
Franco Turini
Hardcover
details (
USA
).
ISBN: 978-0-387-58792-9
ISBN-10: 0-387-58792-6
Springer Nature
· 1994
See also:
2008
Taschenbuch
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, Band 883)