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

Formal systems and recuresive functions : proceedings ...
出版社：Amsterdam : North-Holland Pub. Co., 1965
出版年：1965
作者：Logic Colloquium
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Formal systems and recursive functions : proceedings of the 8th logic colloquium, Oxford, July 1963
  • 作者：International Congress for Logic,Methodology and Philosophy of Science
  • 出版社：Amsterdam : North-Holland pub. co., 1965.
  • 出版年：1965
...

Formal ontology in information systems : proceedings of the Sixth International Conference (FOIS 201
  • 作者：FOIS 2010
  • ISBN：9781607505341
  • 出版社：Amsterdam ; Washington, DC : IOS Press, c2010.
  • 出版年：2010
...

Mathematical interpretation of formal systems
  • 作者：Skole,Th.
  • 出版社：Amsterdam : North-Holland pub. co., 1955.
  • 出版年：1955
...

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

Theory of formal systems.
  • 作者：Smullyan,Raymond M.
  • 出版社：Princeton, N.J. : The University Press., 1961.
  • 出版年：1961
...

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