Program development in computational logic : a decade of research advances in logic-based program development

International Workshop on Program Developmet in Computational Logic, Bruynooghe, Maurice, Lau, Kung-Kiu

Program development in computational logic : a decade of research advances in logic-based program development

CiNii 所蔵館 20館

書誌事項

タイトル: "Program development in computational logic : a decade of research advances in logic-based program development"

責任表示: Maurice Bruynooghe, Kung-Kiu Lau (eds.)

出版者

Springer

出版年月

c2004

書籍サイズ: 24 cm

この図書・雑誌をさがす

注記

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.

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

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報 詳細情報について

書き出し

詳細情報詳細情報について