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

Two papers on the predicate calculus
出版社：[S.l. : s.n.], 1952.,Providence : The American Mathematical Society, 1952
出版年：1952
作者：Kleene,S. C.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Predicate calculus and program semantics
  • 作者：Dijkstra,Edsger Wybe.
  • ISBN：0387969578
  • 出版社：New York : Springer-Verlag, c1989.
  • 出版年：1989
...

Calculus two : linear and nonlinear functions
  • 作者：Flanigan,Francis J.
  • ISBN：0387973885
  • 出版社：New York : Springer-Verlag, c1990.
  • 出版年：1990
...

FOOOD: A Database Model That Integrates Predicate Calculus with the Object-Oriented Model
  • 作者：Hassanein,Ehab Ezzat
  • ISBN：CNY814.21
  • 出版社：Ann Arbor : UMI Desser-Tation Services, 1992.
  • 出版年：1992
...

FOOOD: A Database Model That Integrates Predicate Calculus with the Object-Oriented Model
  • 作者：Hassanein,Ehab Ezzat
  • 出版社：Ann Arbor : UMI Desser-Tation Services, 1992.
  • 出版年：1992
...

Calculus and mathematica : vector calculus : measuring in two and three dimensions.
  • 作者：Davis,Bill.
  • ISBN：0201584697
  • 出版社：New York : Addison-Wesley, 1994.
  • 出版年：1994
...

Operational calculus in two variables and its applications
  • 作者：Ditkin,V. A.
  • 出版社：Oxford : Pergamon Press, 1962
  • 出版年：1962