Logic programming : systematic program development

出版社:Wokingham, England ; Reading, Mass. : Addison-Wesley, c1990.
ISBN:0201175762
出版年:1990
作者:Deville,Yves,
资源类型:图书
细分类型:西文文献
相关推荐

Logic programming : proceedings of the joint International Conference and Symposium on Logic Program

  • 作者:Joint International Conference and Symposium on Logic Programming
  • ISBN:0262510642
  • 出版社:Cambridge, Mass. : MIT Press ; c1992.
  • 出版年:1992

The Program Development Process:Part Ⅱ The Programming team

  • 作者:J.D.Aron
  • ISBN:0201144514
  • 出版社:0000.00

Program development in computational logic : a decade of research advances in logic-based program de

  • 作者:Bruynooghe,M.
  • ISBN:3540221522
  • 出版社:Berlin ; New York : Springer, 2004.
  • 出版年:2004

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

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

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