Program development in computational logic : a decade of research advances in logic-based program development
Author(s)
Bibliographic Information
Program development in computational logic : a decade of research advances in logic-based program development
（Lecture notes in computer science, 3049）
Springer, c2004
Available at / 20 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||304904012956
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
"The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as workshop on logic program synthesis and transformation, but later it broadened its scope to logic-based program development in general, that is, program development in computational logic, and hence the title of this volume."--Pref.
