Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993

書誌事項

Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993

Yves Deville, ed

(Workshops in computing)

Springer-Verlag, c1994

大学図書館所蔵 件 / 13

この図書・雑誌をさがす

注記

"Published in collaboration with the British Computer Society."

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ