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

Artificial and Mathematical Theory of Computation最新文献

筛选
英文 中文
The Influence of the Designer on the Design - J. McCarthy and LISP 设计师对设计的影响——j·麦卡锡与LISP
Artificial and Mathematical Theory of Computation Pub Date : 1991-09-01 DOI: 10.1016/B978-0-12-450010-5.50029-3
H. Stoyan
{"title":"The Influence of the Designer on the Design - J. McCarthy and LISP","authors":"H. Stoyan","doi":"10.1016/B978-0-12-450010-5.50029-3","DOIUrl":"https://doi.org/10.1016/B978-0-12-450010-5.50029-3","url":null,"abstract":"","PeriodicalId":359670,"journal":{"name":"Artificial and Mathematical Theory of Computation","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121036870","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}
引用次数: 3
LISP and Parallelism LISP和并行
Artificial and Mathematical Theory of Computation Pub Date : 1991-09-01 DOI: 10.1016/B978-0-12-450010-5.50017-7
Takayasu Ito
{"title":"LISP and Parallelism","authors":"Takayasu Ito","doi":"10.1016/B978-0-12-450010-5.50017-7","DOIUrl":"https://doi.org/10.1016/B978-0-12-450010-5.50017-7","url":null,"abstract":"","PeriodicalId":359670,"journal":{"name":"Artificial and Mathematical Theory of Computation","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126929332","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}
引用次数: 1
A Short Sketch of the Life and Career of John McCarthy 约翰·麦卡锡的生活和事业简介
Artificial and Mathematical Theory of Computation Pub Date : 1991-09-01 DOI: 10.1016/B978-0-12-450010-5.50006-2
David J. Israel
{"title":"A Short Sketch of the Life and Career of John McCarthy","authors":"David J. Israel","doi":"10.1016/B978-0-12-450010-5.50006-2","DOIUrl":"https://doi.org/10.1016/B978-0-12-450010-5.50006-2","url":null,"abstract":"","PeriodicalId":359670,"journal":{"name":"Artificial and Mathematical Theory of Computation","volume":"1623 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127446120","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}
引用次数: 3
LISP + Calculus = Identities LISP +微积分=恒等式
Artificial and Mathematical Theory of Computation Pub Date : 1991-09-01 DOI: 10.1016/B978-0-12-450010-5.50014-1
R. Gosper
{"title":"LISP + Calculus = Identities","authors":"R. Gosper","doi":"10.1016/B978-0-12-450010-5.50014-1","DOIUrl":"https://doi.org/10.1016/B978-0-12-450010-5.50014-1","url":null,"abstract":"","PeriodicalId":359670,"journal":{"name":"Artificial and Mathematical Theory of Computation","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122617629","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}
引用次数: 0
Belief and Introspection 信仰与自省
Artificial and Mathematical Theory of Computation Pub Date : 1991-09-01 DOI: 10.1016/B978-0-12-450010-5.50020-7
H. Levesque
{"title":"Belief and Introspection","authors":"H. Levesque","doi":"10.1016/B978-0-12-450010-5.50020-7","DOIUrl":"https://doi.org/10.1016/B978-0-12-450010-5.50020-7","url":null,"abstract":"","PeriodicalId":359670,"journal":{"name":"Artificial and Mathematical Theory of Computation","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129109652","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}
引用次数: 0
Monotonicity Properties in Automated Deduction 自动演绎中的单调性
Artificial and Mathematical Theory of Computation Pub Date : 1991-09-01 DOI: 10.1016/B978-0-12-450010-5.50021-9
Z. Manna, M. Stickel, R. Waldinger
{"title":"Monotonicity Properties in Automated Deduction","authors":"Z. Manna, M. Stickel, R. Waldinger","doi":"10.1016/B978-0-12-450010-5.50021-9","DOIUrl":"https://doi.org/10.1016/B978-0-12-450010-5.50021-9","url":null,"abstract":"","PeriodicalId":359670,"journal":{"name":"Artificial and Mathematical Theory of Computation","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124574407","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}
引用次数: 5
Proofs of Termination and the "91" Function 终止证明和“91”函数
Artificial and Mathematical Theory of Computation Pub Date : 1991-09-01 DOI: 10.1016/B978-0-12-450010-5.50009-8
S. Feferman
{"title":"Proofs of Termination and the \"91\" Function","authors":"S. Feferman","doi":"10.1016/B978-0-12-450010-5.50009-8","DOIUrl":"https://doi.org/10.1016/B978-0-12-450010-5.50009-8","url":null,"abstract":"","PeriodicalId":359670,"journal":{"name":"Artificial and Mathematical Theory of Computation","volume":"9 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125061956","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}
引用次数: 2
On the Equivalence of Data Representations 关于数据表示的等价性
Artificial and Mathematical Theory of Computation Pub Date : 1991-09-01 DOI: 10.1016/B978-0-12-450010-5.50023-2
John C. Mitchell
{"title":"On the Equivalence of Data Representations","authors":"John C. Mitchell","doi":"10.1016/B978-0-12-450010-5.50023-2","DOIUrl":"https://doi.org/10.1016/B978-0-12-450010-5.50023-2","url":null,"abstract":"","PeriodicalId":359670,"journal":{"name":"Artificial and Mathematical Theory of Computation","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115963453","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}
引用次数: 44
Circumscription and Disjunctive Logic Programming 限制与析取逻辑规划
Artificial and Mathematical Theory of Computation Pub Date : 1991-09-01 DOI: 10.1016/B978-0-12-450010-5.50022-0
J. Minker, Jorge Lobo, A. Rajasekar
{"title":"Circumscription and Disjunctive Logic Programming","authors":"J. Minker, Jorge Lobo, A. Rajasekar","doi":"10.1016/B978-0-12-450010-5.50022-0","DOIUrl":"https://doi.org/10.1016/B978-0-12-450010-5.50022-0","url":null,"abstract":"","PeriodicalId":359670,"journal":{"name":"Artificial and Mathematical Theory of Computation","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124073938","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}
引用次数: 68
Algebraic Computation: The Quiet Revolution 代数计算:无声的革命
Artificial and Mathematical Theory of Computation Pub Date : 1991-09-01 DOI: 10.1016/B978-0-12-450010-5.50016-5
A. C. Hearn
{"title":"Algebraic Computation: The Quiet Revolution","authors":"A. C. Hearn","doi":"10.1016/B978-0-12-450010-5.50016-5","DOIUrl":"https://doi.org/10.1016/B978-0-12-450010-5.50016-5","url":null,"abstract":"","PeriodicalId":359670,"journal":{"name":"Artificial and Mathematical Theory of Computation","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116979002","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}
引用次数: 3
首页 上一页 下一页 尾页
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学术官方微信