Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.)

Web Site CiNii Available at 58 libraries

Bibliographic Information

Title
"Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.)"
Publisher
  • Springer
Publication Year
  • c1996
Book size
24 cm

Search this Book/Journal

Notes

Includes bibliographical references and index

Related Books

See more

Details 詳細情報について

Back to top