Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - ... Notes in Computer Science (883), Band 883)
von:
Laurent Fribourg
·
Franco Turini
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-58792-7
ISBN-10: 3-540-58792-6
Springer
· 2008
