자료유형 | 단행본 |
---|---|
서명/저자사항 | 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), |
단체저자명 | NetLibrary, Inc. |
발행사항 | Berlin ;. New York;: Springer, c2004. |
형태사항 | x, 232 p.: fig., tab.; 24 cm. |
총서사항 | Lecture notes in computer science;3018 |
ISBN | 3540259384 (electronic bk.) |
일반주기 |
Title from ebook title screen (viewed on Apr. 22, 2005).
|
서지주기 | Includes bibliographical references and index. |
이용가능한 다른형태자료 | Also issued online. |
복제주기 | Electronic reproduction. Boulder, Colo. : NetLibrary, 2005. Available via World Wide Web. Access may be limited to NetLibrary affiliated libraries. E-book has publication date of 2005. |
회의명 | LOPSTR 2003 (2003 : Uppsala, Sweden) |
일반주제명 | Logic programming --Congresses. |
언어 | 영어 |
바로가기 |
: An electronic book accessible through the World Wide Web; click for information |