|aInternational Workshop on Logic Program Synthesis and Transformation|d(1997 :|cLeuven, Belgium)
245
10
|aLogic program synthesis and transformation|h[electronic resource] :|b7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings /|cNorbert E. Fuchs (ed.)
260
|aBerlin ;|aNew York :|bSpringer,|cc1998.
300
|ax, 342 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v1463
650
0
|aLogic programming|xCongresses.
700
1
|aFuchs, Norbert E.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-49674-2
950
|aComputer Science (Lecture Notes in Computer Science)