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

A Predicate Spatial Logic for Mobile Pcocesses
出版社：中国科学院
出版年：2003
作者：Lin Huimin
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Towards a rigorous logic for spatial data representation
  • 作者：Thompson,Rodney James.
  • ISBN：9789061323037
  • 出版社：Delft : Netherlands Geodetic Commission, [2007]
  • 出版年：2007
...

Switching theory : insight through predicate logic
  • 作者：Vingron,Shimon Peter,
  • ISBN：3540403434
  • 出版社：Berlin ; New York : Springer, c2004.
  • 出版年：2004
...

The logic system of concept graphs with negation : and its relationship to predicate logic
  • 作者：Dau,Frithjof.
  • ISBN：3540206078
  • 出版社：Berlin ; New York : Springer, c2003.
  • 出版年：2003
...

Subject and predicate : a contribution to the theory of syntax.
  • 作者：Sandmann,Manfred
  • 出版社：Edinburgh : Edinburgh University Press, 1954.
  • 出版年：1954
...

Model theory for modal logic : Kripke models for modal predicate calculi
  • 作者：Bowen,Kenneth A.
  • 出版社：Dordrecht, Holland ; Boston : D. Reidel Pub. Co., c1979.
  • 出版年：1979
...

Spatial analysis : a guide for ecologists
  • 作者：Dale,Mark R. T.
  • ISBN：9780521143509
  • 出版社：Cambridge ; New York : Cambridge University Press, 2014.
  • 出版年：2014