登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Automated theorem-proving in non-classical logics
出版社：
London : Pitman ; New York : Wiley, 1988.
ISBN：
0470210060
出版年：
1988
作者：
Thistlewaite,Paul B.
资源类型：
图书
细分类型：
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Automated deduction in classical and non-classical logics : selected papers
作者：
Caferra,Ricardo,
ISBN：
3540671900
出版社：
Berlin ; New York : Springer, c2000.
出版年：
2000
Non-Classical Logics
作者：
Rautenberg,Wolfgang
ISBN：
354015521X
出版社：
New York : Springer-Verlag Berlin Heidelberg; London : distributed by Elsevier North-Holland, 1987.
出版年：
1987
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
Non-classical logics, model theory, and computability : proceedings of the Symposium, Campinas, Braz
作者：
Latin-American Symposium on Mathematical Logic
出版社：
New York : North-Holland pub. co., 1977.
出版年：
1977
Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici o
作者：
Mundici,Daniele,
ISBN：
9783540759386
出版社：
Berlin ; New York : Springer, c2007.
出版年：
2007
×
访问借阅管理系统
问图书管理员
馆际互借