Logic based program synthesis and transformation : 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
Author(s)
Bibliographic Information
Logic based program synthesis and transformation : 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
（Lecture notes in computer science, 3018）
Springer, c2004
Available at / 21 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||3018200037720950
-
University of Tsukuba Library, Library on Library and Information Science
007.08-L49-301810004017837
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index