Logic-based program synthesis and transformation：9th International Workshop, LOPSTR '99, Venice, Italy, September 1999 : selected papers

Corporate Authors: International Workshop on Logic Program Synthesis and Transformation (9th 1999 Venice, Italy)
Group Author: Bossi Annalisa, 1948-
Published: Springer,
Publication Dates: 2000.
Call Number: TP311.11-532/L832/1999