×
Richard M.Stallman。；杰拉尔德·苏斯曼。

计算机辅助电路分析系统中的正向推理和依赖定向回溯。 （英语） Zbl 0372.94024号

Artif公司。智力。 9, 135-196 (1977).
页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 显示扫描页面
扫描Zbl 0372.94024

引用于59文件

MSC公司：

94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010）
94-04 与信息和通信理论有关的问题的软件、源代码等

软件：

伊斯兰教
PDF格式BibTeX公司 XML格式引用
\textit{R.M.Stallman}和\textit{G.J.Sussman}，Artif。智力。9135-196（1977年；Zbl 0372.94024）
全文： 内政部 链接

参考文献：

[1] Bosyj，M.，《采购系统设计诊断程序》，麻省理工学院项目MAC技术报告（1975年）
[2] Brown，A.L.，《定性知识、因果推理和失败定位》，麻省理工学院人工智能实验室博士论文（1975年）
[3] Davis，R.，《元层次知识在大型知识库建设、维护和使用中的应用》，斯坦福大学人工智能实验室备忘录AIM-283（1976）
[4] de Kleer，J.，《电子电路故障定位的局部方法》，麻省理工学院人工智能实验室，工作文件109（1976）
[5] Dijkstra，E.W.，《结构化编程》（Buxton，J.N.；Randell，B.，《软件工程技术》（1970），北约科学事务部：比利时布鲁塞尔北约科学事务处），84-88
[6] Doyle，J.，《初等几何问题求解中约束传播的分析》，麻省理工学院人工智能实验室，工作论文108（1976）
[7] Fahlman，S.E.，机器人建造任务规划系统，（麻省理工学院人工智能实验室，技术报告283。麻省理工学院人工智能实验室，《技术报告283》，麻省理学学院EE和CS系MS论文（1973年）
[8] Fikes，R.E.，《状态描述模型的演绎检索机制》，斯坦福研究所人工智能技术注释106（1975）
[9] 弗洛伊德，E.C.，《合成约束表达式》，麻省理工学院人工智能实验室备忘录370（1976）·Zbl 0386.68065号
[10] 休伊特，C.E。；Smith，B.，面向编程学徒，IEEE Trans。软件工程，1,1,26-45（1975）
[11] Hewitt，C.E.，《知识在计划中的程序嵌入》（Proc.IJCAI，2（1971））
[12] Hewitt，C.E.，《PLANNER的描述和理论分析（使用图式）：机器人中证明定理和操纵模型的语言》，麻省理工学院人工智能实验室，技术报告258（1972）
[13] 哈夫曼，D.A.，《作为无意义句子的不可能物体》（机器智能，6（1970），爱丁堡大学出版社）
[14] Teitelman，W.（INTERLISP参考手册（1974），XEROX Palo Alto研究中心和Bolt Beranek and Newman）
[15] Bogen，R.（MACSYMA参考手册（1974），麻省理工学院MAC项目）
[16] Mason，M.T.，《猪生产的定性模拟》，麻省理工学院EE&CS系BS论文（1976年）
[17] 麦卡锡（LISP 1.5程序员手册（1965），麻省理工学院出版社：麻省剑桥麻省理工学院出版社）
[18] McDermott，D.V。；Sussman，G.J.，麻省理工学院人工智能实验室，人工智能备忘录259，CONNIVER参考手册（1972年），1973年7月修订
[19] McDermott，D.V.，《通过自然语言理解系统吸收新信息》（麻省理工学院人工智能实验室技术报告291）。麻省理工学院人工智能实验室技术报告291，麻省理学学院电子工程与计算机科学系硕士论文（1974年）
[20] McDermott，D.V.，《超大规划型数据库》，麻省理工学院人工智能实验室备忘录339（1975）
[21] McDermott，D.V.，《电路设计计算机程序的灵活性和效率》，麻省理工学院电子工程与计算机科学系博士论文（1976年）
[22] Minsky，M.L.，代表知识的框架，（温斯顿，P.H.，麻省理工人工智能实验室备忘录306。麻省理工学院人工智能实验室备忘录306，《计算机视觉心理学》（1975年），麦格劳-希尔：麦格劳–希尔纽约）·Zbl 0116.11803号
[23] Moon，D.A.（MACLISP参考手册（1974），麻省理工学院MAC项目）
[24] Nevins，A.J.，使用前向链证明平面几何定理，麻省理工学院人工智能备忘录，303（1974）·Zbl 0446.68080号
[25] Rich，C。；Shrobe，H.，MIT AI实验室LISP程序员学徒的初步报告。技术报告354（1976）·Zbl 0393.68044号
[26] Rieger，C.，《作为人类记忆、推理、信念和上下文语言理解计算机模型基础的普通算法》，TINLAP（1975），马萨诸塞州剑桥
[27] Roylance，G.L.，拟人电路分析，麻省理工学院EE和CS系BS论文（1975年）
[28] Roylance，G.L.，《运算放大器电路的定性分析》，麻省理工学院EE&CS系MS论文提案（1976年）
[29] Rulifson，J.F.，《直觉推理的程序演算》，斯坦福研究所AI技术注释73（1972）
[30] Senturia，S.D。；Wedlock，D.，《电子电路与应用》（1975），约翰·威利：约翰·威利纽约
[31] Shortiffe，E.H.，MYCIN:基于计算机的医疗咨询（1976），Elsevier:Elsevier New York，also
[32] 苏斯曼，G.J。；McDermott，D.V.，《从计划者到CONNIVER-A遗传方法》（Proc.FJCC（1972）），1171-1179
[33] 苏斯曼，G.J。；Stallman，R.M.，《计算机辅助电路分析中的启发式技术》，IEEE Trans。《电路与系统》，第CAS-22卷，第11卷（1975年）
[34] Sussman，G.J.，《技能获取的计算机模型》（1975年），爱思唯尔：爱思唯尔纽约
[35] Sussman，G.J.，《缺陷的良性本质》（AISB会议纪要。AISB大会纪要，英国苏塞克斯（1974））
[36] 苏斯曼，G.J。；Winograd，T。；Charniak，E.，麻省理工学院人工智能实验室。人工智能备忘录203，微型规划师参考手册（1970年），1971年12月修订
[37] Teitelman，W.，《走向编程实验室》（Buxton，J.N.；Randell，B.，《软件工程技术》（1970），北约科学事务部：比利时布鲁塞尔北约科学事务处），137-149
[38] Waltz，D.L.，《从阴影场景的绘图中生成语义描述》，麻省理工学院人工智能实验室，技术报告271（1972）
[39] Winograd，T.，《再次打破复杂性障碍》（ACM SIGPN/SIGIR接口会议（1973））
[40] Winograd，T.，《框架表征与程序性/声明性争议》（Bobrow，D.G.；Collins，A.，《表征与理解》（1975），学术出版社：纽约学术出版社）
[41] Winston，P.H.，《从示例中学习结构描述》，麻省理工学院人工智能实验室，《技术报告231》（1970年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。