Logic-based program synthesis and transformation: 26th international symposium, LOPSTR 2016, Edinbu… by LOPSTR, Edinburgh fromLecture Notes in Computer Science 0 Type: Book
Formal methods and software engineering: 12th International Conference on Formal Engineeri… by International Conference on Formal Engineering Methods. <12, 2010, Shanghai> fromLecture Notes in Computer Science 0 Type: Book
Logic programming and nonmonotonic reasoning: 11th International Conference, LPNMR 2011, Vancou… by LPNMR. <11, 2011, Vancouver> fromLecture Notes in Computer Science 0 Type: Book
