Meta-programmming in logic : third international workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings /

類似資料

• Meta-logics and logic programming /
  出版事項: (1995)
• Meta-programming in logic programming /
  出版事項: (1989)
• Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings /
  出版事項: (1994)
• Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings /
  出版事項: (1993)
• Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings /
  出版事項: (1992)