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

CiNii Available at 20 libraries

Bibliographic Information

Title
"Program development in computational logic : a decade of research advances in logic-based program development"
Statement of Responsibility
Maurice Bruynooghe, Kung-Kiu Lau (eds.)
Publisher
  • Springer
Publication Year
  • c2004
Book size
24 cm

Search this Book/Journal

Notes

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.

Related Books

See more

Details 詳細情報について

  • CRID
    1130000796052601344
  • NII Book ID
    BA67920392
  • ISBN
    3540221522
  • Text Lang
    en
  • Country Code
    gw
  • Title Language Code
    en
  • Place of Publication
    • Berlin ; Tokyo
  • Data Source
    • CiNii Books
Back to top