登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Conditional and preferential logics : proof methods and theorem proving
出版社：
Amsterdam ; Washington, DC : IOS Press, c2010.
ISBN：
9781607500940
出版年：
2010
作者：
Pozzato,Gian Luca.
资源类型：
图书
细分类型：
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Proof methods for modal and intuitionistic logics
作者：
Fitting,Melvin,
ISBN：
9027715734
出版社：
Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; Hingham, MA : Sold and distributed in the U.S.A. a
出版年：
1983
Automated theorem-proving in non-classical logics
作者：
Thistlewaite,Paul B.
ISBN：
0470210060
出版社：
London : Pitman ; New York : Wiley, 1988.
出版年：
1988
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, Aug
作者：
TPHOLs 2005
ISBN：
3540283722
出版社：
Berlin ; New York : Springer, c2005.
出版年：
2005
Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, Se
作者：
Basin,David
ISBN：
3540406646
出版社：
Berlin ; New York : Springer, c2003.
出版年：
2003
Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, US
作者：
TPHOLs 2002
ISBN：
3540440399
出版社：
Berlin ; New York : Springer, c2002.
出版年：
2002
Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, U
作者：
TPHOLs 2000
ISBN：
3540678638
出版社：
Berlin ; Heidelberg ; New York : Springer, c2000.
出版年：
2000
×
访问借阅管理系统
问图书管理员
馆际互借