瓦德拉穆迪，中国文凯;瓦德拉穆迪，塞莎·帕尼·迪皮卡 数学基础。 （英语） Zbl 1407.68011号 Gudivada，Venkat N.（编辑）等人，《自然语言的计算分析和理解：原理、方法和应用》。阿姆斯特丹：爱思唯尔/北荷兰。把手b。Stat.38，53-73（2018年）。MSC公司：68-01 15-01 90-01 94-01 PDF格式BibTeX公司 XML格式引用 \textit{C.V.Vadlamudi}和\textit{S.P.D.Vadlamidi}，Handb。《法律总汇》第38卷，第53-73页（2018年；兹bl 1407.68011） 全文： 内政部
约赫维德·多坦;本杰明·阿拉齐 基于逻辑编程的数字系统设计验证。 （英语） 兹比尔0723.68027 计算。选举人。工程师。 16，第3期，125-138（1990）.MSC公司：68N17号 68T99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Dotan}和\textit{B.Arazi}，计算。选举人。工程16，编号3，125--138（1990；Zbl 0723.68027） 全文： 内政部
顶部，B.H.V。（编辑） [埃姆金，L.Z。;纽森，S.L。;W.R.Spillers公司。;沃斯堡，A.M。;T·D·斯隆。;罗斯尼，D.F。;索拜，M。;M.M.阿卜丁。;狄更斯，J.G。;琼斯，L.L。;巴特，P。;阿卜杜勒·哈菲兹（Abdel Hafiz，L.M.）。;格林，D.R。;R.M.理查德。;夏，W.-K。;Chmielowiec，M。;Gründig，L。;巴恩多夫，J。;萨克·R·L·。;D.阿恩霍尔茨。;坦普勒曼，A.B。;美国基尔希。;泰伊，S。;利维，R。;H.-S.佩恩。;Tam，T.K.H。;A.詹宁斯。;萨卡，M.P。;阿德利，H。;Balasubramanyam，K.V.公司。;卡里哈洛，B.L。;南卡那格松达拉姆。;南卡罗来纳州帕斯捷尔纳克。;高，S。;Kawano，K。;Y.山田。;肯塔基州文卡塔拉马。;阿扎德，A.K。;M.K.阿卜杜拉。;巴鲁克，M.H。;阿加尔，T.J.A。;G.J.特维。;Drinali，H。;M.阿丹。;我·希曼。;海尼索，M。;Neureither，M。;医学硕士克里斯菲尔德。;克鲁克，A.J.L。;E.辛顿。;Wong，F.L.（黄福乐）。;顶部，B.H.V。;北白石。;Furuta，H。;M.R.巴恩斯。;卡内罗·德·巴罗斯。;帕帕德拉卡基斯，M。;甘特斯，C.J。;谷口，T。;K.C.霍弗。;N.A.B.耶希亚。;El-Hajj，A.H。;J·克里斯蒂安。;Mir，美国。;D.E.格里森。;G.E.卡梅隆。;R·弗鲁希特。;格卢克，J。;金，Y.I。;哈里森·H·B·。;D.J.古纳拉特南。] 土木工程87。（1987年9月22日至24日，英国伦敦，土木结构工程计算第三届实习生选拔程序）。 （英语） Zbl 0662.73001号 计算。结构。 30，第3号，规范发行。，439-773 (1988).MSC公司：74-04 74页99 74S99型 74S30型 74S05号 74-06 PDF格式BibTeX公司 XML格式引用 \textit{B.H.V.Topping}（编辑），计算。结构。30，第3号，439--773（1988；Zbl 0662.73001） 全文： 内政部