亚瑟·吉尔 模式识别。 （英语） 兹比尔0233.68033 《国家研究杂志》。伯尔。支架。，第节。D类 64, 676-677 (1960)。MSC公司：68吨10 PDF格式BibTeX公司 XML格式引用 \textit{A.Gill}，J.Res.Natl。伯尔。支架。，第节。D 64，676--677（1960；Zbl 0233.68033）
M·艾丽。 一般信息网络基础理论的几个应用。图的连接性质和有限确定的两人对策。 （英语） 兹伯利0215.29704 RAAG，研究注释，III.Ser。，统一学习基础问题。发动机。物理学。科学。通过Geom。第40、45页（1960年）。MSC公司：90B18号机组 91A05型 94A05型 94C15号机组 60K20码 05C90年 68兰特 68M10个 PDF格式BibTeX公司 XML格式
A.罗宾逊。 关于方程理论的机械化。 （英语） Zbl 0213.02402号 牛市。以色列Res.Council，Sect。《联邦公报》第9卷第47-70页（1960年）。MSC公司：68伏15 68V20型 PDF格式BibTeX公司 XML格式
D.普拉维茨。;H·普拉维茨。;北卡罗来纳州沃格拉。 一种机械证明程序及其在电子计算机中的实现。 （英语） Zbl 0213.02401号 J.协会计算。机器。 7, 102-128 (1960)。MSC公司：68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛D.Prawitz｝等人，J.Assoc.Comput。机器。7102-128（1960年；Zbl 0213.02401） 全文： 内政部
M.戴维斯。;H.普特南。 量化理论的计算过程。 （英语） Zbl 0212.34203号 J.协会计算。机器。 7, 201-215 (1960)。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛M.Davis｝和\textit｛H.Putnam｝，J.计算机助理。机器。7201--215（1960；Zbl 0212.34203） 全文： 内政部
韦迪，W.G。 浮点运算。 （英语） Zbl 0212.18505号 J.协会计算。机器。 7, 129-139 (1960)。MSC公司：2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.G.Wadey}，J.协会计算。机器。7、129——139（1960；Zbl 0212.18505） 全文： 内政部
J·哈特马尼斯。 信息处理机器分解的符号分析。 （英语） 兹伯利0209.31101 Inf.控制 3, 154-178 (1960)。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hartmanis}，Inf.Control 3，154--178（1960；Zbl 0209.31101） 全文： 内政部
Kazuo近藤 通过拉普拉斯变换和语音四面体分析语音系综。 （英语） Zbl 0207.19106号 RAAG，研究注释，III.Ser。，统一学习基础问题。发动机。物理学。科学。通过Geom。第36页，第9页（1960年）。MSC公司：68吨10 44A10号 PDF格式BibTeX公司 XML格式
O.S.库拉吉纳。 俄罗斯的梅西内尔？尤贝塞特祖格和弗兰兹？西申（Maschinelle u bersetzung aus dem Französischen）。一、。 （俄语、英语、德语） Zbl 0173.21405号 问题。基伯恩 181-208年3月（1960年）; 问题。赛博。3, 975-1022 (1962); 问题。Kybernetik 3，222-257（1963）。MSC公司：第68页第50页 PDF格式BibTeX公司 XML格式引用 \textit{O.S.Kulagina}，Probl（Probl）。基伯恩。3181--208（1960；Zbl 0173.21405）
Bar-Hillel，Y。;C.盖夫曼。;沙米尔，E。 关于范畴和短语结构语法。 （英语） Zbl 0158.25306号 语言与信息，精选论文，99-115（1964）。MSC公司：第68页第50页 91英尺20英寸 65年第68季度 PDF格式BibTeX公司 XML格式
Bar-Hillel，Y。;沙米尔，E。 有限状态语言：形式表示和充分性问题。 （英语） Zbl 0158.25305号 语言与信息，精选论文，87-98（1964）。MSC公司：第68页第50页 91英尺20英寸 65年第68季度 PDF格式BibTeX公司 XML格式
莫洛什纳亚，T.N。 在英国和俄罗斯，算法是可行的。 （俄语、英语、德语） Zbl 0156.18003号 问题。Kibern。 3, 209-272 (1960); 问题。控制论3，1023-1120（1962）；问题。Kybernetik 3，258-340（1963）。MSC公司：第68页第50页 PDF格式BibTeX公司 XML格式引用 \文本｛T.N.Moloshnaya｝，问题。基伯恩。3209--272（1960；Zbl 0156.18003）
洛杉矶斯科尔尼亚科夫。 关于一类自动机（神经系统）。（神经系统）。） （俄语） Zbl 0144.24703号 问题。基贝内蒂基 4, 23-35 (1960)。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Skornyakov}，Probl（问题）。基伯恩。4、23-35（1960年；Zbl 0144.24703）
罗马人苏兹科 句法结构和语义参考。一、 二、。 （英语） Zbl 0143.01802号 螺柱日志。8, 213-244 (1958); 9, 63-91 (1960). 审核人：W.S.库珀 MSC公司：68问题55 65年第68季度 PDF格式BibTeX公司 XML格式
Büchi，J.R。 弱二阶算法和有限自动机。 （俄语。英文原件） Zbl 0142.24902号 基伯恩。Sb.8，42-77（1964年）；Z.Math的翻译。Logik Grundlagen数学。6, 66-92 (1960).MSC公司：05年3月 65年第68季度 PDF格式BibTeX公司 XML格式
于亚诺夫。一、。 关于算法的逻辑方案。 （英语。俄文原件） 兹比尔0142.24801 问题。赛博。 1, 82-140 (1960)。MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{Yu.I.Yanov}，问题。赛博。182--140（1960；Zbl 0142.24801）
O.S.库拉吉纳。 基于群论确定语法概念的方法。 （英语） Zbl 0139.00804号 问题。赛博。 1, 228-242 (1960)。MSC公司：65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.S.Kulagina}，Probl（Probl）。赛博。1228--242（1960；Zbl 0139.00804）
医学硕士Kartsev。 在数字计算机上加速乘法运算的逻辑方法。（数字Rechenautomatten中的Logische Methoden zur Verkürzung der Multiplikationszeit） （俄语。英语、德语翻译） Zbl 0137.34403号 问题。Kibern。 4, 111-120 (1960); Probl中的英语翻译。赛博。4, 1261-1271 (1963); Probl中的德语翻译。Kybernetik第4137-148页（1964年）。 审核人：乔治·拜耳 MSC公司：68N17号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Kartsev}，问题。基伯恩。4111--120（1960年；Zbl 0137.34403）
拉兹洛·卡尔马尔 逻辑机器构造的新原理。 （英语） Zbl 0137.25202号 2e大会。国际。纳穆尔Cybernétique，1958年9月3日至10日，Actes，458-463（1960）。MSC公司：65年第68季度 94A45型 PDF格式BibTeX公司 XML格式
O.S.库拉吉纳。 Maschinellesübersetzen（弗兰茨西施-俄罗斯）。二： U bersetzungsalgorithmus公司。 （俄语、英语、德语） Zbl 0136.38904号 问题。Kibern。 4, 207-257 (1960); 问题。控制论41366-1428（1963）；问题。Kybernetik 4，261-330（1964）。MSC公司：第68页第50页 PDF格式BibTeX公司 XML格式引用 \textit{O.S.Kulagina}，Probl（Probl）。基伯恩。4207--257（1960；Zbl 0136.38904）
莫洛什纳亚，T.N。 使用计算机将英语翻译成俄语时，涉及到区分同音异义词的问题。 （英语） Zbl 0136.38903号 问题。控制论 1, 243-250 (1960)。MSC公司：第68页第50页 PDF格式BibTeX公司 XML格式引用 \textit{T.N.Moloshnaya}，Probl（问题）。赛博。1243--250（1960；Zbl 0136.38903）
I.A.梅尔恰克。 匈牙利语到俄语的机器翻译。 （英语） Zbl 0136.38902号 问题。控制论 1, 251-293 (1960); 附录同上，294-306（1960年）。MSC公司：第68页第50页 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Mel’chuk}，Probl（问题）。赛博。1251--293（1960；Zbl 0136.38902）
波德洛夫琴科，R.I。 编程的基本原则。 （英语） Zbl 0136.38307号 问题。控制论 1, 141-148 (1960)。MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.I.Podlovchenko}，Probl（问题）。赛博。141--148（1960；Zbl 0136.38307）
米哈·洛夫，G.A。;B.N.Shitikov。;亚夫林斯基，N.A。 电子数字计算机TsÈM-1。 （英语） Zbl 0135.39003号 问题。赛博。 1, 214-227 (1960)。MSC公司：68个月1日 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Mikhaĭlov}等人，问题。赛博。1214-227（1960年；兹bl 0135.39003）
莫里斯·卡尔顿 地质遗迹保护。 （法语） Zbl 0128.12101号 2e会议。国际。《控制论》，纳穆尔，1958年9月3日至10日，第231-239号法案（1960年）。MSC公司：68T01型 PDF格式BibTeX公司 XML格式
切尼亚夫斯基（V.S.Chernyavski）。 Ub ber die Umkehrbarkeit von Algorithmen。 （俄语） Zbl 0116.33801号 Tr.Mosk公司。Mat.O.-va 9，425-453（1960）。 审核人：E.汉堡 MSC公司：68倍 PDF格式BibTeX公司 XML格式
信息处理。信息处理国际会议记录，教科文组织，巴黎，1959年6月15日至20日。 （英语） Zbl 0112.08105号 巴黎：教科文组织；慕尼黑：R.Oldenbourg；伦敦：Butterworths 520 p.（1960）。MSC公司：00时25分 68-06 PDF格式BibTeX公司 XML格式
B.Ya Kogan。 将Wiedergabe der Beschleunigungsprozesses von Kernreaktoren作为电子类比。 （俄语） Zbl 0106.32603号 伊兹夫。阿卡德。Nauk SSSR，其他。泰克。纳克（Nauk，Ènerg.Avtom）。 1960年，第4期，第36-47页（1960年）。 审核人：一、规划师 MSC公司：68单位99 82天75 PDF格式BibTeX公司 XML格式引用 \文本{B.Ya.Kogan}，Izv。阿卡德。Nauk SSSR，其他。泰克。纳克（Nauk，Ènerg.Avtom）。1960年，第4号，第36-47号（1960年；Zbl 0106.32603）
J.Richard，Büchi 弱二阶算法和有限自动机。 （英语） Zbl 0103.24705号 Z.数学。Logik Grundlagen数学。 6, 66-92 (1960)。MSC公司：05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Büchi}，Z.数学。Logik Grundlagen数学。66-92（1960；Zbl 0103.24705） 全文： 内政部
J.A.斯旺森。 内存系统中的物理与逻辑耦合。 （英语） Zbl 0101.34501号 IBM J.研究开发。 4, 305-310 (1960)。 审核人：G.伯特伦 MSC公司：68第20页 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Swanson}，IBM J.Res.Dev.4，305-310（1960；Zbl 0101.34501） 全文： 内政部
格卢什科夫（V.M.Glushkov）。 关于抽象自动机的一种综合算法。（Uber einen Algorithmus zur Synthese abstrakter Automata。） （俄语。英文摘要） Zbl 0101.25002号 乌克兰。材料Zh。 12, 147-156 (1960)。 审核人：J.C.谢泼德森 MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Glushkov}，乌克尔。材料Zh。12、147--156（1960；Zbl 0101.25002）
理查·贝尔曼 顺序机器、模糊性和动态编程。 （英语） Zbl 0097.35502号 J.协会计算。机器。 7, 24-28 (1960)。 审核人：史蒂文·瓦伊达（特丁顿） MSC公司：90立方厘米 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.Bellman}，J.协会计算。机器。7、24-28（1960年；Zbl 0097.35502） 全文： 内政部
Bar-Hillel，Y。;沙米尔，E。 有限状态语言：形式表示和充分性问题。 （英语） Zbl 0097.14202号 牛市。Res.Council公司。以色列，教派。F 8155-166（1960）。 审核人：J.C.谢泼德森 MSC公司：第68页第50页 91英尺20英寸 65年第68季度 PDF格式BibTeX公司 XML格式
Aĭzerman，医学硕士。;洛杉矶古塞夫。;洛桑诺埃。;斯米尔诺娃，I.M。;塔尔，A.A。 有限自动机。一、。 （英语。俄文原件） Zbl 0097.12302号 自动。远程控制 21, 156-163 (1960); Avtom翻译。Telemekh公司。21224-236（1960年）。 审核人：E.布科维奇 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Aĭzerman}等人，汽车。遥控器21，156--163（1960；Zbl 0097.12302）；Avtom翻译。Telemekh公司。21, 224--236 (1960)
Aĭzerman，医学硕士。;洛杉矶古塞夫。;罗佐诺，L.I。;斯米尔诺娃，I.M。;塔尔，A.A。 有限自动机。二、。 （英语。俄文原件） Zbl 0096.33102号 自动。远程控制 21, 248-254 (1960); Avtom翻译。Telemekh公司。21, 359-368 (1960).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Aĭzerman}等人，汽车。遥控器21，248--254（1960；Zbl 0096.33102）；Avtom翻译。Telemekh公司。21, 359--368 (1960) 全文： MNR公司
谢斯塔科夫，V.I。 合成多位置继电器序列系统的穿孔卡方法。 （英语。俄文原件） Zbl 0095.32304号 自动。远程控制 20, 1457-1466 (1960); Avtom翻译。Telemekh公司。20, 1496-1506 (1959).MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shestakov}，汽车。遥控器201457--1466（1960；Zbl 0095.32304）；Avtom翻译。Telemekh公司。20, 1496--1506 (1959)
A.M.图灵。 美国亚诺夫斯卡娅。（编辑） [冯·诺依曼，J。] 机器会思考吗？由J.von Neumann补充：自动化理论与逻辑。余译自英语。A.丹尼洛夫；由S.a.Yanovskaya编辑并附有前言。(Может ли машина мыслить? Общая и логическая теория автоматов.) （俄语） Zbl 0095.01102号 莫斯考：Staatsverlag für physicalisch-methematische Literatur。112 S.（1960）。MSC公司：00比50 68-03 01A60型 PDF格式BibTeX公司 XML格式
D.D.麦克拉肯。 数字计算机编程。(Программирование для цифровыч вычислител’ных машин.) （俄语。英文原件） Zbl 0094.11804号 莫斯考：Verlag für ausländische Literatur。《美国法典》第306卷（1960年）。MSC公司：68-01 68新元 PDF格式BibTeX公司 XML格式
格卢什科夫（V.M.Glushkov）。 自动除尘器分析的通用方法。 （乌克兰语。俄语、德语摘要） Zbl 0094.00804 多波夫。阿卡德。诺克乌克。RSR公司 1960, 1151-1154 (1960)。MSC公司：03年XX月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{V.M.Glushkov}，多波夫。阿卡德。诺克乌克。RSR 1960、1151--1154（1960；Zbl 0094.00804）
Klyamko，È。一、。 将Erhöhung der Zuverlässigkeit von Rechenmaschinen nach der Doppelung der Ausrüstung mit Instandsetzung der Reserve。 （俄语） Zbl 0092.13104号 伊兹夫。阿卡德。Nauk SSSR，其他。泰克。艾恩伯格·诺克（Ehnerg Nauk），阿夫托姆（Avtom）。 1960年，第3期，73-77（1960）。MSC公司：68米15 68平方米 PDF格式BibTeX公司 XML格式引用 \文本{È.I.Klyamko}，Izv。阿卡德。Nauk SSSR，其他。泰克。纳克（Nauk，Ènerg.Avtom）。1960年，第3期，73--77（1960；Zbl 0092.13104）
沃纳·佐伯比尔 Vergleichende Betrachtungen zum磁带分拣机。 （德语） Zbl 0091.29604号 Elektron公司。Datenverarb公司。 1960年，第5期，28-44（1960）。 审核人：G.拜尔 MSC公司：68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{W.Zoberbier}，Elektron公司。Datenverarb公司。1960年，第5期，第28-44期（1960年；Zbl 0091.29604）
Bar-Hillel，Y。;C.盖夫曼。;沙米尔，E。 关于范畴语法和短语结构语法。 （英语） Zbl 0091.15601号 牛市。Res.Council公司。以色列，教派。F 9，1-16（1960）。 审核人：H.施奈尔 MSC公司：第68页第50页 91英尺20英寸 2012年第68季度 PDF格式BibTeX公司 XML格式
安东尼·拉斯顿（编辑）;赫伯特·S·威尔夫。（编辑） 数字计算机的数学方法。 （英语） Zbl 0089.12602号 纽约和伦敦：John Wiley&Sons，Inc.xi，293 p.（1960）。 审核人：彼得·拉赫利 MSC公司：65-06 65日元 68-06 00B15号机组 PDF格式BibTeX公司 XML格式
彼得·诺尔（编辑） [巴克斯，J.W。;F.L.鲍尔。;J·格林。;C·卡茨。;J.麦卡锡。;A.J.佩利斯。;海因茨·鲁蒂绍泽;萨梅尔森，K。;沃奎斯，B。;韦格斯坦，J.H。;van Wijngaarden，A。;伍德格，M。] 算法语言ALGOL-60的报告。 （英语） Zbl 0089.12510号 数字。数学。 2, 106-136 (1960); Commun公司。关联计算。马钦。3, 299-314 (1960); 理工学报。扫描。284号，数学。计算。马钦。序列号。第5期，40页（1960年）。 审核人：P.科赫 MSC公司：68-06 68号01 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{P.Naur}（编辑），数字。数学。2106-136（1960年；兹bl 0089.12510） 全文： 内政部 欧洲DML