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

Mathematical interpretation of formal systems
出版社：Amsterdam : North-Holland pub. co., 1955.
出版年：1955
作者：Skole,Th.
资源类型：图书
细分类型：西文文献,馆内阅览
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Theory of static converter systems : mathematical analysis and interpretation
  • 作者：Michael A.,
  • ISBN：83020762 86
  • 出版社：Amsterdam ; New York : Elsevier, 1984-
  • 出版年：1984
...

Theory of static converter systems : mathematical analysis and interpretation
  • 作者：Michael A.,
  • ISBN：83020762
  • 出版社：Amsterdam ; New York : Elsevier, 1984-
  • 出版年：1984
...

Mathematical interpretation of formalsystems
  • 作者：Skolem,Th
  • 出版社：Amsterdam : North-Holland Publishing Co., 1955
  • 出版年：1955
...

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da
  • 作者：Costa,Newton C. A. da.
  • ISBN：0824773306
  • 出版社：New York : M. Dekker, c1985.
  • 出版年：1985
...

Formal methods in systems engineering
  • 作者：Ryan,Peter,
  • ISBN：0387197516
  • 出版社：London ; New York : Springer Verlag, c1993.
  • 出版年：1993
...

Formal methods for interactive systems
  • 作者：Dix,Alan
  • ISBN：0122183150
  • 出版社：London : Academic Press, 1991.
  • 出版年：1991