Meta-programming in logic programming

出版社:Cambridge, Mass. : MIT Press, c1989.
ISBN:0262510472
出版年:1989
作者:Abramson,Harvey.
资源类型:图书
细分类型:西文文献
相关推荐

Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops

  • 作者:Fribourg,Laurent
  • ISBN:3540587926
  • 出版社:Berlin ; New York : Springer-Verlag, 1994.
  • 出版年:1994

Meta-programming and model-driven meta-program development : principles, processes and techniques

  • 作者:Štuikys,V.
  • ISBN:9781447141259
  • 出版社:London ; New York : Springer, 2013.
  • 出版年:2013

The logic of programming

  • 作者:Hebner,Eric C.R.
  • 出版社:Englewood Cliffs : Prentice-Hall, c1984
  • 出版年:1984

Logic and programming

  • 作者:Parent,Michel.
  • ISBN:0850386500
  • 出版社:London : Kogan Page, c1984.
  • 出版年:1984

Logic programming

  • 作者:Clark,K. L.
  • ISBN:0121755207
  • 出版社:London ; New York : Academic Press, 1982.
  • 出版年:1982

The logic of programming

  • 作者:Hehner,Eric C. R.
  • ISBN:0135399661
  • 出版社:Englewood Cliffs, N.J. : Prentice/Hall International, c1984.
  • 出版年:1984