|aInternational Workshop on Logic-Based Program Synthesis and Transformation|n(11th :|d2001 :|cPaphos, Cyprus)
245
10
|aLogic based program synthesis and transformation|h[electronic resource] :|b11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers /|cAlberto Pettorossi, ed.
260
|aBerlin ;|aNew York :|bSpringer,|cc2002.
300
|aviii, 265 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v2372
650
0
|aLogic programming|vCongresses.
700
1
|aPettorossi, Alberto.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-45607-4
950
|aComputer Science (Lecture Notes in Computer Science)