Logic programming

出版社:London ; New York : Academic Press, 1982.
ISBN:0121755207
出版年:1982
作者:Clark,K. L.
资源类型:图书
细分类型:西文文献
相关推荐

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

The logic of programming

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

Computing with logic : logic programming with prolog

  • 作者:Maier,David,
  • ISBN:0805366814
  • 出版社:Menlo Park : Benjamin, c1988
  • 出版年:1988

Temporal logic and temporal logic programming

  • 作者:Duan,Zhenhua.
  • ISBN:7030166515
  • 出版社:Beijing : Science Press, 2005.
  • 出版年:2005

Introduction to programming : programming logic and flowcharting

  • 作者:Silver,Gerald A.
  • ISBN:0070574456
  • 出版社:New York : Gregg Division, McGraw-Hill, c1975, 1977 printing.
  • 出版年:1980