登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Logic and programming
出版社：London : Kogan Page, c1984.
ISBN：0850386500
出版年：1984
作者：Parent,Michel.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

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

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

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
...

Meta-programming in logic programming
  • 作者：Abramson,Harvey.
  • ISBN：0262510472
  • 出版社：Cambridge, Mass. : MIT Press, c1989.
  • 出版年：1989