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

The Logical basis for computer programming. deductive systems.
出版社：Reading, Ma. : Addison-Wesley 1990.
ISBN：0201182610
出版年：1990
作者：Manna,Zohar.
资源类型：图书
细分类型：西文文献,馆内阅览
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

The logical basis for computer programming : v. 1. Deductive reasoning
  • 作者：Manna,Zohar.
  • ISBN：0201182602
  • 出版社：Reading, Mass. : Addison-Wesley, c1985
  • 出版年：1985
...

The logical basis for computer progrmming : v. 2. Deductive systems
  • 作者：Manna,Zohar
  • ISBN：0201182610
  • 出版社：Reading : Addison-Wesley, c1990
  • 出版年：1990
...

The logical basis for computer progrmming : v. 2. Deductive systems
  • 作者：Manna,Zohar
  • ISBN：0201182610 17.90
  • 出版社：Reading : Addison-Wesley, c1990
  • 出版年：1990
...

The Logical Basisfor Computer Programming, Vol.I,Deductive reasoning
  • 作者：Manna,Zohar.
  • ISBN：0201182602
  • 出版社：San Juan: Addison-Wesley Publishing Com., 1985.01.
  • 出版年：1985
...

Computer programming and computer systems.
  • 作者：Hassitt,Anthony.
  • 出版社：New York : Academic Press, 1967.
  • 出版年：1967
...

The art of computer programming.
  • 作者：Knuth,Donald Ervin,
  • ISBN：RMB4.20
  • 出版社：Reading, Mass. : Addison-Wesley Pub. Co., 1973.
  • 出版年：1973