Logic based program synthesis and transformation [electronic resource] : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers

상세정보

자료유형	단행본
서명/저자사항	Logic based program synthesis and transformation [electronic resource]: 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers / Maurice Bruynooghe (ed.).
개인저자	Bruynooghe, M. (Maurice).
발행사항	Berlin ; New York: Springer, c2004.
형태사항	1 online resource (x, 232 p.) : fig., tab.
총서사항	Lecture notes in computer science ;3018
기타형태 저록	Print version: LOPSTR 2003 (2003 : Uppsala, Sweden). Logic based program synthesis and transformation. Berlin ; New York : Springer, c2004 3540221743
ISBN	3540259384 (electronic bk.) 9783540259381 (electronic bk.) 3540221743 (pbk.) 9783540221746 (pbk.) 6610307822 (electronic bk.) 9786610307821 (electronic bk.)
서지주기	Includes bibliographical references and index.
회의명	LOPSTR 2003 (2003 : Uppsala, Sweden)
일반주제명	Logic programming --Congresses. COMPUTERS --Programming --Open Source. COMPUTERS --Software Development & Engineering --Tools. COMPUTERS --Software Development & Engineering --General.
분류기호(DDC)	005.115
언어	영어
바로가기