Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings
Book 374 of 442 in Lecture Notes in Computer Science
1996 paperback edition
Book 374 of 442 in Lecture Notes in Computer Science
1996 paperback edition