发布求助
文献互助 智能选刊 最新文献

Handbook of Automated Reasoning最新文献

筛选
英文 中文
Connections in Nonclassical Logics 非经典逻辑中的连接
Handbook of Automated Reasoning Pub Date : 1900-01-01 DOI: 10.1016/b978-044450813-3/50024-2
A. Waaler
{"title":"Connections in Nonclassical Logics","authors":"A. Waaler","doi":"10.1016/b978-044450813-3/50024-2","DOIUrl":"https://doi.org/10.1016/b978-044450813-3/50024-2","url":null,"abstract":"","PeriodicalId":416922,"journal":{"name":"Handbook of Automated Reasoning","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123110961","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 45
Logical Frameworks 逻辑框架
Handbook of Automated Reasoning Pub Date : 1900-01-01 DOI: 10.1016/b978-044450813-3/50019-9
F. Pfenning
{"title":"Logical Frameworks","authors":"F. Pfenning","doi":"10.1016/b978-044450813-3/50019-9","DOIUrl":"https://doi.org/10.1016/b978-044450813-3/50019-9","url":null,"abstract":"","PeriodicalId":416922,"journal":{"name":"Handbook of Automated Reasoning","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131383253","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 263
Classical Type Theory 经典类型理论
Handbook of Automated Reasoning Pub Date : 1900-01-01 DOI: 10.1016/b978-044450813-3/50017-5
Peter B. Andrews
{"title":"Classical Type Theory","authors":"Peter B. Andrews","doi":"10.1016/b978-044450813-3/50017-5","DOIUrl":"https://doi.org/10.1016/b978-044450813-3/50017-5","url":null,"abstract":"","PeriodicalId":416922,"journal":{"name":"Handbook of Automated Reasoning","volume":"219 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116864385","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 40
Normal Form Transformations 范式变换
Handbook of Automated Reasoning Pub Date : 1900-01-01 DOI: 10.1016/b978-044450813-3/50007-2
M. Baaz, U. Egly, A. Leitsch
{"title":"Normal Form Transformations","authors":"M. Baaz, U. Egly, A. Leitsch","doi":"10.1016/b978-044450813-3/50007-2","DOIUrl":"https://doi.org/10.1016/b978-044450813-3/50007-2","url":null,"abstract":"","PeriodicalId":416922,"journal":{"name":"Handbook of Automated Reasoning","volume":"18 11","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120806023","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 80
Equality Reasoning in Sequent-Based Calculi 序列微积分中的等式推理
Handbook of Automated Reasoning Pub Date : 1900-01-01 DOI: 10.1016/b978-044450813-3/50012-6
A. Degtyarev, A. Voronkov
{"title":"Equality Reasoning in Sequent-Based Calculi","authors":"A. Degtyarev, A. Voronkov","doi":"10.1016/b978-044450813-3/50012-6","DOIUrl":"https://doi.org/10.1016/b978-044450813-3/50012-6","url":null,"abstract":"","PeriodicalId":416922,"journal":{"name":"Handbook of Automated Reasoning","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123415387","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 67
Reasoning in Expressive Description Logics 表达描述逻辑中的推理
Handbook of Automated Reasoning Pub Date : 1900-01-01 DOI: 10.1016/b978-044450813-3/50025-4
Diego Calvanese, Giuseppe De Giacomo, M. Lenzerini, D. Nardi
{"title":"Reasoning in Expressive Description Logics","authors":"Diego Calvanese, Giuseppe De Giacomo, M. Lenzerini, D. Nardi","doi":"10.1016/b978-044450813-3/50025-4","DOIUrl":"https://doi.org/10.1016/b978-044450813-3/50025-4","url":null,"abstract":"","PeriodicalId":416922,"journal":{"name":"Handbook of Automated Reasoning","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114689374","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 156
Automated Deduction for Many-Valued Logics 多值逻辑的自动演绎
Handbook of Automated Reasoning Pub Date : 1900-01-01 DOI: 10.1016/b978-044450813-3/50022-9
M. Baaz, C. Fermüller, G. Salzer
{"title":"Automated Deduction for Many-Valued Logics","authors":"M. Baaz, C. Fermüller, G. Salzer","doi":"10.1016/b978-044450813-3/50022-9","DOIUrl":"https://doi.org/10.1016/b978-044450813-3/50022-9","url":null,"abstract":"","PeriodicalId":416922,"journal":{"name":"Handbook of Automated Reasoning","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134238603","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 62
Unification Theory 统一理论
Handbook of Automated Reasoning Pub Date : 1900-01-01 DOI: 10.1016/b978-044450813-3/50010-2
F. Baader, Wayne Snyder
{"title":"Unification Theory","authors":"F. Baader, Wayne Snyder","doi":"10.1016/b978-044450813-3/50010-2","DOIUrl":"https://doi.org/10.1016/b978-044450813-3/50010-2","url":null,"abstract":"","PeriodicalId":416922,"journal":{"name":"Handbook of Automated Reasoning","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125192377","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 149
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations 非单调推理:迈向高效演算及其实现
Handbook of Automated Reasoning Pub Date : 1900-01-01 DOI: 10.1016/b978-044450813-3/50021-7
J. Dix, U. Furbach, I. Niemelä
{"title":"Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations","authors":"J. Dix, U. Furbach, I. Niemelä","doi":"10.1016/b978-044450813-3/50021-7","DOIUrl":"https://doi.org/10.1016/b978-044450813-3/50021-7","url":null,"abstract":"","PeriodicalId":416922,"journal":{"name":"Handbook of Automated Reasoning","volume":"6 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122700765","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 95
Solving Numerical Constraints 求解数值约束
Handbook of Automated Reasoning Pub Date : 1900-01-01 DOI: 10.1016/b978-044450813-3/50014-x
A. Bockmayr, V. Weispfenning, M. Maher
{"title":"Solving Numerical Constraints","authors":"A. Bockmayr, V. Weispfenning, M. Maher","doi":"10.1016/b978-044450813-3/50014-x","DOIUrl":"https://doi.org/10.1016/b978-044450813-3/50014-x","url":null,"abstract":"","PeriodicalId":416922,"journal":{"name":"Handbook of Automated Reasoning","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124654982","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 48
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信