Logic Program Synthesis and Transformation: "Proceedings Of Lopstr 93, International Workshop On Logic Program Synthesis And Transformation, ... 79 July 1993" (Workshops in Computing)

International

von Yves Deville

Taschenbuch

ISBN-13: 978-3-540-19864-2

ISBN-10: 3-540-19864-4

Springer · 2013