张汉涛 满意度模SAT的实验。 (英语) Zbl 1356.68208号 J.自动化。推理 56,第2期,143-154(2016).MSC公司:第68页第15页 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang},J.Autom。推理56,No.2,143--154(2016;Zbl 1356.68208) 全文: 内政部
张汉涛;标签,马克 实施Davis-Putnam方法。 (英语) 兹比尔0967.68148 J.自动化。推理 24,编号1-2,277-296(2000).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{M.Stickel},J.Autom。推理24,No.1--2,277--296(2000;Zbl 0967.68148) 全文: 内政部
张,H。(编辑) 自动数学归纳法。 (英语) Zbl 0845.00016号 J.自动化。推理16,第1-2期,222页(1996年)。 MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式
迪帕克·卡普尔;西瓦库马尔,G。;张汉涛 用于证明AC重写系统终止的路径排序。 (英语) Zbl 0819.68115号 J.自动化。推理 14,第2期,293-316(1995).MSC公司:第68页第15页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人,J.Autom。推理14,No.2,293--316(1995;Zbl 0819.68115) 全文: 内政部
张汉涛 Overbeek竞争中平等问题的自动证明。 (英语) Zbl 0802.68132号 J.自动化。推理 11,第3期,333-351(1993).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang},J.Autom。推理11,No.3,333--351(1993;Zbl 0802.68132) 全文: 内政部
迪帕克·卡普尔;张汉涛 问题角:证明自由群不同公理化的等价性。 (英语) Zbl 0654.68102号 J.自动化。推理 4,第3号,331-352(1988). 审核人:H.古根海默 MSC公司:第68页第15页 20E05年 20A05年 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}和\textit{H.Zhang},J.Autom。推理4,No.3,331--352(1988;Zbl 0654.68102) 全文: 内政部