---

Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers / Kung-Kiu Lau (ed.)
(Lecture notes in computer science ; 2042)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2001
形態	viii, 181 p. : ill. ; 24 cm
著者標目	*International Workshop on Logic-Based Program Synthesis and Transformation (10th : 2000 : London, UK) Lau, K.-K. (Kung-Kiu), 1953-
件　名	LCSH:Logic programming Congresses
分　類	NDC:549.92
書誌ID	LT00617246

 類似資料