Logic based program synthesis and transformation : 10th international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers /

Bibliographic Details
Corporate Author:	International Workshop on Logic-Based Program Synthesis and Transformation
Other Authors:	Lau, K.-K. (Kung-Kiu), 1953-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Series:	Lecture notes in computer science ; 2042.
Subjects:	Logic programming > Congresses.

Remote Storage