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

Finding Simple RDF Interpretations Using Satisfiability Checkers in the Classical Logics
出版社：中国科学院
出版年：2003
作者：张健
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Finding and using technical information
  • 作者：Carey,R. J. P.
  • 出版社：London : Edward Arnold, 1966.,London : Arnold, 1966.
  • 出版年：1966
...

Non-Classical Logics
  • 作者：Rautenberg,Wolfgang
  • ISBN：354015521X
  • 出版社：New York : Springer-Verlag Berlin Heidelberg; London : distributed by Elsevier North-Holland, 1987.
  • 出版年：1987
...

The spread of almost simple classical groups
  • 作者：Harper,Scott
  • ISBN：9783030740993
  • 出版社：Cham, Switzerland : Springer, 2021.
  • 出版年：2021
...

An algebraic approach to non-classical logics
  • 作者：Rasiowa,Helena.
  • 出版社：Amsterdam : North-Holland pub. co., 1974.
  • 出版年：1974
...

Interval / probabilistic uncertainty and non-classical logics
  • 作者：Huynh,Van-Nam.
  • ISBN：9783540776635
  • 出版社：Berlin : Springer, c2008.
  • 出版年：2008
...

Automated deduction in classical and non-classical logics : selected papers
  • 作者：Caferra,Ricardo,
  • ISBN：3540671900
  • 出版社：Berlin ; New York : Springer, c2000.
  • 出版年：2000