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

The logical basis for computer programming : v. 1. Deductive reasoning
出版社：Reading, Mass. : Addison-Wesley, c1985
ISBN：0201182602
出版年：1985
作者：Manna,Zohar.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

The Logical basis for computer programming. deductive systems.
  • 作者：Manna,Zohar.
  • ISBN：0201182610
  • 出版社：Reading, Ma. : Addison-Wesley 1990.
  • 出版年：1990
...

The art of computer programming : v. 1. Fundamental algorithms
  • 作者：Knuth,Donald Ervin,
  • ISBN：0201038099
  • 出版社：Reading : Addison-Wesley, c197
...

Computer communications : v. 1. Principles
  • 作者：Chou,Wushow
  • 出版社：Englewood Cliffs : Prentics-Hall, c1983
  • 出版年：1983