Program development in computational logic : a decade of research advances in logic-based program development
著者
書誌事項
Program development in computational logic : a decade of research advances in logic-based program development
（Lecture notes in computer science, 3049）
Springer, c2004
大学図書館所蔵 全20件
注記
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.