Showing 1 - 1 results of 1 for search 'Turini, Franco 1949-', 查询时间: 0.01s Refine Results
  1. 1

    Logic program synthesis and transformation -- Meta-programming in logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings

    出版 1994
    图书

    Logic program synthesis and transformation -- Meta-programming in logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings

检索工具: