兰道尔,R。 计算过程中的不可逆性和发热。 (英语) Zbl 1160.68305号 IBM J.研究开发。 5, 183-191 (1961).MSC公司:68个月1日 第68季度01 80A20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Landauer},IBM J.Res.Dev.5,183--191(1961;Zbl 1160.68305) 全文: 内政部
约翰·麦卡锡 数学计算理论的基础。 (英语) Zbl 0246.68007号 程序。西部联合计算。大会1961年5月9日至11日,洛杉矶19,225-238(1961)。MSC公司:68号01 第68季度25 PDF格式BibTeX公司 XML格式
渡边,H。 关于网络拓扑中的树和多树的注释。 (英语) 兹比尔0213.17801 RAAG,研究注释,III.Ser。,统一学习基础问题。发动机。物理。科学。通过Geom。第39页,第20页(1961年)。MSC公司:94C15号机组 68兰特 PDF格式BibTeX公司 XML格式
罗金斯基,V.N。 设计接触电路的通用图形方法。 (英语。俄文原件) Zbl 0207.47804号 自动化。远程控制 22, 301-308 (1961); Avtom翻译。Telemekh公司。22, 350-358 (1961).MSC公司:94立方厘米10 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Roginskij},汽车。遥控器22,301--308(1961;Zbl 0207.47804);Avtom翻译。Telemekh公司。22, 350--358 (1961)
Yu Shreĭder。答:。 自动机与动态规划问题。 (俄语) Zbl 0204.19902号 问题。基伯恩。 5, 31-48 (1961).MSC公司:90立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Yu.A.Shreĭder},Probl(问题)。Kibern。5、31——48(1961年;Zbl 0204.19902)
Bar-Hillel,Y。;M.佩雷斯。;沙米尔,E。 简单短语结构语法的形式属性。 (英语) Zbl 0158.25307号 语言与信息,精选论文,116-150(1964);。MSC公司:68T50型 91层20 65年第68季度 PDF格式BibTeX公司 XML格式
渡边茂 5符号8状态和5符号6状态通用图灵机。 (英语) Zbl 0154.41605号 J.协会计算。机器。 8, 476-483 (1961). 审核人:D.塔马里 MSC公司:04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Watanabe},J.协会计算。马赫。8476-483(1961年;Zbl 0154.41605) 全文: 内政部
V.V.马丁纽克。 例如Beziehungen zwischen der Speicherkapaziteät und der Leistungsfähigkeit endlicher Automaten。 (英语、德语。俄文原件) Zbl 0143.02101号 问题。赛博。 5, 115-129 (1964); 问题。Kybernetik 5,78-89(1964);Probl的翻译。Kibernetiki 5,87-96(1961)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Martynyuk},Probl(问题)。Kibern。5,87-96(1961年;兹bl 0143.02101);Probl的翻译。Kibernetiki 5,87--96(1961)
伯克利,E.C。 [G.N.波瓦罗夫。] 符号逻辑和智能机器。由I.V.Solov'ev翻译的英语。由G.N.Povarov编辑并附有序言。(Символическая логика и разумные машины.) (俄语) Zbl 0137.33801号 莫斯考:Verlag für ausländische Literatur。260页和1张表(1961年)。MSC公司:68-01 68个月1日 PDF格式BibTeX公司 XML格式
瓦库洛夫斯卡娅,G.V。;O.S.库拉吉纳。 Maschinelles u bersetzen(弗朗索·西施·鲁西施)。三: Beschreibung des Programmes公司。 (俄语、英语、德语) Zbl 0136.38905号 问题。基伯恩。 5, 245-262 (1961); 问题。控制论5,321-348(1964);问题。Kybernetik第5279-302页(1964年)。MSC公司:68T50型 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Vakulovskaya}和\textit{O.S.Kulagina},Probl。Kibern。5245--262(1961年;Zbl 0136.38905)
罗伯特·麦克诺顿 自动机理论,综述。 (英语) Zbl 0133.09801号 高级计算。 2, 379-421 (1961).MSC公司:65年第68季度 68-02 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{R.McNaughton},高级计算。2379-421(1961年;Zbl 0133.09801) 全文: 内政部
亚瑟·吉尔 有限自动机中的状态识别实验。 (英语) Zbl 0129.26203号 Inf.控制 4, 132-154 (1961). 审核人:约翰·谢泼德森(布里斯托尔) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gill},信息控制4,132-154(1961年;Zbl 0129.26203) 全文: 内政部
Aufbau von Relaissystemen公司。(Построение шем релейного действия.) (俄语) Zbl 0127.00203号 问题。Peredachi通知。8:Moskau:UdSSR的Wissenschaften der Akademie der Verlag der。《美国法典》第131卷(1961年)。MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式
奥维耶维奇,I。;平斯克,M。 如果是Durchlaßhigkeit eines Mehrwegesystems。 (俄语) Zbl 0126.36001号 伊兹夫。阿卡德。Nauk SSSR,安大略省。泰克。纳克(Nauk,Ènerg.Avtom)。 1961年,第4期,208-210(1961).MSC公司:90B35型 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{I.Ovseevich}和\textit{M.Pinsker},Izv。阿卡德。Nauk SSSR,安大略省。泰克。纳克(Nauk,Ènerg.Avtom)。1961年,第4期,208--210(1961年;Zbl 0126.36001)
A.A.斯托尼。 构建“专业编程程序”的原则。 (英语、德语。俄文原件) Zbl 0121.34603号 问题。控制论 2, 534-539 (1961); 问题。Kybernetik 2,214-219(1963);Probl的翻译。Kibernetiki 2185-189(1959)。MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Stognii},问题。赛博。2534-539(1961年;Zbl 0121.34603);Probl的翻译。Kibernetiki 2,185--189(1959)
格卢什科夫(V.M.Glushkov)。 一种自动编程的方法。 (英语、德语。俄文原件) Zbl 0121.34602号 问题。控制论 2, 529-533 (1961); 问题。Kybernetik 2209-213(1963);Probl的翻译。Kibernetiki,181-184年(1959年)。MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Glushkov},问题。赛博。2529-533(1961年;Zbl 0121.34602);Probl的翻译。Kibernetiki 2,181--184(1959)
乌斯彭斯基,V.A。 为信息机构造机器语言的问题。 (德语、英语)。俄文原件) Zbl 0121.34601号 问题。控制论 2, 356-370 (1961); 问题。Kybernetik 2,38-53(1963年);Probl的翻译。Kibernetiki 2,39-50(1959)。MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Uspenskii},Probl(问题)。赛博。2356--370(1961年;Zbl 0121.34601);Probl的翻译。Kibernetiki 2,39--50(1959)
查尔斯·巴贝奇 菲利普·莫里森(编辑);艾米丽·莫里森(编辑) 查尔斯·巴贝奇和他的计算引擎。查尔斯·巴贝奇和其他人的精选作品。由菲利普·莫里森和艾米莉·莫里森编辑并作了介绍。 (英语) Zbl 0121.25004号 纽约:Dover Publications,Inc.xxxviii,400 p.(1961)。MSC公司:01A75号 68-03 PDF格式BibTeX公司 XML格式
高桥,H。;Y.石桥。 用数字计算机进行“精确计算”的新方法。模运算的一种应用。 (英语) Zbl 0121.12103号 信息处理。日本 1, 28-42 (1961). 审核人:乔治·拜耳 MSC公司:2007年7月68日 65G99型 PDF格式BibTeX公司 XML格式引用 \textit{H.Takahasi}和\textit{Y.Ishibashi},Inf.过程。日本1,28--42(1961;Zbl 0121.12103) 全文: 链接
细坂,Mamoru 使用延迟线的块上操作。 (英语) Zbl 0121.2004号 信息处理。日本 1,51-65(1961年).MSC公司:68个月1日 PDF格式BibTeX公司 XML格式引用 \textit{M.Hosaka},Inf.流程。日本1,51--65(1961;Zbl 0121.2004) 全文: 链接
福池,Kazuhiro;Hiroji西野 数字计算机线路中的自动数据处理。 (英语) Zbl 0119.13005号 信息处理。日本 1, 75-78 (1961).MSC公司:68个月1日 PDF格式BibTeX公司 XML格式引用 \textit{K.Fuchi}和\textit{H.Nishino},Inf.工艺。日本1,75--78(1961;Zbl 0119.13005) 全文: 链接
J.G.托马森。 模拟计算机方法简介。 (英语) Zbl 0118.33401号 计算。J。 3, 211-219 (1961).MSC公司:68个月1日 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Thomason},计算。J.3211-219(1961年;兹bl 0118.33401) 全文: 内政部
L.V.克鲁辛斯基。 动物外推反射的研究。 (英语、德语。俄文原件) Zbl 0117.15203号 问题。控制论 2, 586-653 (1961); 问题。Kybernetik 2,251-314(1963);Probl的翻译。Kibernetiki 229-282(1959)。MSC公司:68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{L.V.Krusinskiĭ},问题。赛博。2586-653(1961年;Zbl 0117.15203);Probl的翻译。Kibernetiki 229--282(1959年)
穆特阿努(E.Munteanu)。;罗斯,T。 自动纠错装置,自动纠错,自动纠偏装置,自动修复机器。 (罗马尼亚语。俄语、法语摘要) Zbl 0115.12803号 科蒙。阿卡德。信誉。大众。罗马 11, 1455-1457 (1961).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{E.Munteanu}和\textit{T.Rus},科蒙。阿卡德。信誉。大众。Romne 11,1455-1457(1961;Zbl 0115.12803)
Trakhtenbrot,学士。 有限自动机和单位置谓词的逻辑。 (英语。俄文原件) Zbl 0115.00702号 苏联。物理。,多克。 6, 753-755 (1962); Dokl翻译。阿卡德。Nauk SSSR 140,326-329(1961)。 审核人:J.C.谢泼德森 MSC公司:03年XX月 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.A.Trakhtenbrot},苏联。物理。,多克。6753-755(1961年;Zbl 0115.00702);Dokl翻译。阿卡德。Nauk SSSR 140、326--329(1961年)
Schützenberger,M.P。 自动化领域的难题。 (法语) Zbl 0113.01402号 Algèbre Théorie Nombres,塞姆。P.Dubreil、M.-L.Dubreil-Jacotin和C.Pisot 13(1959/60),第3期,第6页(1961年)。MSC公司:05年3月 65年第68季度 PDF格式BibTeX公司 XML格式 全文: Numdam编号
Aĭzerman,医学硕士。;洛杉矶古塞夫。;洛桑诺埃。;斯米尔诺娃,I.M。;塔尔,A.A。 有限自动机递归事件可表示性识别问题的算法不可解性。 (英语。俄文原件) 兹比尔0112.35702 自动化。远程控制 22, 646-652 (1961); Avtom翻译。Telemekh公司。22, 748-755 (1961). 审核人:J.R.Büchi先生 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Aĭzerman}等人,汽车。遥控器22,646--652(1961;Zbl 0112.35702);Avtom翻译。Telemekh公司。22, 748--755 (1961) 全文: MNR公司
罗马人雅各布森(编辑) [W.V.奎因。;Hilary普特南;诺姆·乔姆斯基;嗨,亨利;莫里斯·哈雷;汉斯·赫茨伯格;Victor H.Yngve。;戈登·彼得森(Gordon E.Peterson)。;弗兰克·哈雷;曼德尔布罗特,本诺特;罗马人雅各布森;约阿希姆·兰贝克;罗伯特·阿伯纳西;尼尔森·古德曼;任超;艾登,默里;安东尼·奥廷格。;H.A.jun格里森。;查尔斯·霍克特。;威尔斯,鲁伦] 语言的结构及其数学方面。 (英语) Zbl 0111.16102号 应用数学专题讨论会论文集第12卷。普罗维登斯:美国数学学会(AMS)。vi,第279页(1961年)。 审核人:S.马库斯 MSC公司:68-06 03-06 65年第68季度 68T50型 03B65号 00B25型 PDF格式BibTeX公司 XML格式
劳伦·多伊尔(Lauren B.Doyle)。 文献搜索者的语义路线图。 (英语) Zbl 0111.16101号 J.协会计算。机器。 8, 553-578 (1961). 审核人:H.施奈尔 MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.B.Doyle},J.协会计算。马赫。8553-578(1961年;Zbl 0111.16101) 全文: 内政部
Rózsa佩特 Programmierengssprache“ALGOL 60”中的Primitive-rekursive Wortbeziehungen。 (德语) Zbl 0109.35203号 出版物。数学。仪表悬挂。阿卡德。科学。,序列号。一个 6, 137-144 (1961).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Péter},出版。数学。仪表悬挂。阿卡德。科学。,序列号。A 6137--144(1961年;Zbl 0109.35203)
门希科夫。;V.N.图钦。 Ein Spezialdigitalrechner‘Polynom’auf Relaisbasis公司。 (俄语) Zbl 0109.10106号 Radiotekhnika电台 16,第10号,65-74(1961).MSC公司:68-01 68个月1日 PDF格式BibTeX公司 XML格式引用 \textit{G.Men'shikov}和\textit{V.N.Tuchin},Radiotekhnika 16,No.10,65-74(1961;Zbl 0109.10106)
克里亚姆科。一、。 Zuverlässigkeit von Systemen mit wiedererstellbarer保护区。 (俄语) 兹伯利0107.35204 伊兹夫。阿卡德。Nauk SSSR,安大略省。泰克。艾恩伯格·诺克(Ehnerg Nauk),阿夫托姆(Avtom)。 1961年,第3期,117-120(1961). 审核人:Z.雷恩 MSC公司:90B25型 68米15 60 K10 PDF格式BibTeX公司 XML格式引用 \文本{È.I.Klyamko},Izv。阿卡德。Nauk SSSR,安大略省。泰克。纳克(Nauk,Ènerg.Avtom)。1961年,第3期,117-120(1961年;Zbl 0107.35204)
Bar-Hillel,Y。;M.佩雷斯。;沙米尔,E。 简单短语结构语法的形式属性。 (英语) Zbl 0106.34501号 Z.Phonetik Sprachwiss公司。Kommunikationsforsch公司。 143-172年(1961年). 审核人:H.施奈尔 MSC公司:68T50型 91层20 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Bar-Hillel}等人,Z.Phonetik Sprachwiss。Kommunikationsforsch公司。14、143--172(1961年;Zbl 0106.34501)
Gobzemis,A.Yu。;戈罗贝茨,V.G。;尤里克,V.A。;雅库拜蒂斯,E.A。 从俄语到拉脱维亚语的机器翻译。(在意大利,Maschinenübersetzung aus der russischen Sprache。) (俄语) Zbl 0105.32605号 阿卡德。Nauk Latv公司。SSR,Inst.Èlektron.公司。维奇斯。泰克。,Avtom Tr.Inst.公司。维奇斯。泰克。1, 149-164 (1961).MSC公司:68T50型 PDF格式BibTeX公司 XML格式
该死,耶。是的。 在logischen Programmschema中输入Ermittlung von Fehlern。 (俄语) Zbl 0105.32401号 阿卡德。Nauk Latv公司。SSR,Inst.Èlektron.公司。维奇斯。泰克。,Avtom Tr.Inst.公司。维奇斯。泰克。1, 47-64 (1961). 审核人:R·克雷特 MSC公司:68号01 PDF格式BibTeX公司 XML格式
雅加杜布。是的。;鲍姆斯,A.K。 Die elektronische diskrete Rechenmaschine LM-3。 (俄语) Zbl 0105.32305号 阿卡德。Nauk Latv公司。SSR,Inst.Èlektron.公司。维奇斯。泰克。,Avtom Tr.Inst.公司。维奇斯。泰克。1, 99-112 (1961).MSC公司:68个月1日 PDF格式BibTeX公司 XML格式
理查德·赫利(Richard B.Hurley)。 晶体管逻辑电路。 (英语) Zbl 0105.32205号 纽约-伦敦:John Wiley&Sons,Inc.xvi,363 p.(1961)。 审核人:H.罗勒 MSC公司:94C05(二氧化碳) 94-01 68个月1日 PDF格式BibTeX公司 XML格式
李,C.Y。 按(W)-机器程序对自动机进行分类。 (英语) Zbl 0104.35703号 J.协会计算。机器。 8, 384-399 (1961). 审核人:J.C.谢泼德森 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Y.Lee},J.协会计算。马赫。8384-399(1961年;Zbl 0104.35703) 全文: 内政部
H.P.埃德蒙森。(编辑) 全国机器翻译研讨会论文集。1960年2月2日至5日在洛杉矶加利福尼亚大学举行。 (英语) Zbl 0103.35402号 《Prentice-Hall国际工程系列》,新泽西州恩格尔伍德克利夫斯:Prentice-Hall,Inc.XVII,525 p.(1961)。MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式
R.A.布鲁克。;D.莫里斯。 对实现某一装配程序的一些建议。 (英语) Zbl 0102.12002号 计算。J。 3, 220-231 (1960).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Brooker}和\textit{D.Morris},计算。J.3220-231(1961年;兹bl 0102.12002) 全文: 内政部
J.F.戴维森。 Ferranti Orion计算机编程。 (英语) Zbl 0101.34601号 Elektron公司。Datenverarb公司。 1961, 163-166 (1961). 审核人:一、规划师 MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Davison},Elektron公司。日期转换器。1961年,163-166(1961年;Zbl 0101.34601)
拉比诺维奇,Z.L。;Blagoveshchenskiĭ,Yu。五、。;R.Ya Chernyak。;格拉迪斯,A.L。;宾夕法尼亚州帕克霍缅科。;I.P.Okulova。;洛杉矶马博罗达。;扎巴拉,S.S。 专用电子计算器SESM。(Специализированная ѐлектронная щетная машина СЀСМ.) (俄语) 兹伯利0099.11402 基辅:乌克兰SSR的Wissenschaften der Akademie der Verlag der Ukrainischen。《美国法典》第146卷(1961年)。MSC公司:68-01 PDF格式BibTeX公司 XML格式
Aĭzerman,医学硕士。;洛杉矶古塞夫。;洛桑诺埃。;斯米尔诺娃,I.M。;塔尔,A.A。 关于实现循环性质由输入状态变化决定的有限自动机的方法。 (英语。俄文原件) Zbl 0096.33104号 自动化。远程控制 21, 1126-1143 (1961); Avtom翻译。Telemekh公司。21, 1576-1594 (1960).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Aĭzerman}等人,汽车。遥控器21,1126--1143(1961;Zbl 0096.33104);Avtom翻译。Telemekh公司。21, 1576--1594 (1960)
乔治·塞贝珊(George S.Sebesyen)。 承认班级成员资格。 (英语) Zbl 0094.12603号 IRE事务处理。Inf.理论 7, 44-50 (1961).MSC公司:68吨10 PDF格式BibTeX公司 XML格式引用 \textit{G.S.Sebestyen},爱尔兰共和国事务。Inf.理论7,44-50(1961;Zbl 0094.12603)
阿尔伯特·希尔德;埃尔文·弗雷德曼(Irwin J.Fredman)。 关于调度具有相关线性损失函数的任务。 (英语) Zbl 0995.90540号 管理。科学。 7, 280-285 (1961).MSC公司:90B35型 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{A.Schild}和\textit{I.J.Fredman},管理。科学。7280-285(1961年;Zbl 0995.90540) 全文: 内政部