合一 (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "合一" in Chinese language version.

refsWebsite

Global rank Chinese rank

1^st place

69^th place

254^th place

8,650^th place

low place

11^th place

332^nd place

2^nd place

23^rd place

low place

aitopics.org

J.A. Robinson. Computational logic: The unification computation. Machine Intelligence. 1971, 6: 63–72 [2024-01-28]. （原始内容存档于2024-01-28）. J.A. Robinson (1971). "Computational logic: The unification computation" （页面存档备份，存于互联网档案馆）. Machine Intelligence. 6: 63–72.

Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier. Lectures on Jacques Herbrand as a Logician (SEKI Report). 2009. arXiv:0902.4682 . |number=被忽略 (帮助)Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier (2009). Lectures on Jacques Herbrand as a Logician (SEKI Report). DFKI. arXiv:0902.4682. Here: p.56

J.A. Robinson. A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM. Jan 1965, 12 (1): 23–41. S2CID 14389185. doi:10.1145/321250.321253 . J.A. Robinson (Jan 1965). "A Machine-Oriented Logic Based on the Resolution Principle". Journal of the ACM. 12 (1): 23–41. doi:10.1145/321250.321253. S2CID 14389185.; Here: sect.5.8, p.32

Jacques Herbrand. Recherches sur la théorie de la demonstration (PDF) (Ph.D. thesis论文). [2024-01-28]. （原始内容存档 (PDF)于2023-12-02）. Jacques Herbrand (1930). Recherches sur la théorie de la demonstration （页面存档备份，存于互联网档案馆） (PDF) (Ph.D. thesis). A. Vol. 1252. Université de Paris. Here: p.96-97

J.A. Robinson. A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM. Jan 1965, 12 (1): 23–41. S2CID 14389185. doi:10.1145/321250.321253 . J.A. Robinson (Jan 1965). "A Machine-Oriented Logic Based on the Resolution Principle". Journal of the ACM. 12 (1): 23–41. doi:10.1145/321250.321253. S2CID 14389185.; Here: sect.5.8, p.32

Jacques Herbrand. Recherches sur la théorie de la demonstration (PDF) (Ph.D. thesis论文). [2024-01-28]. （原始内容存档 (PDF)于2023-12-02）. Jacques Herbrand (1930). Recherches sur la théorie de la demonstration （页面存档备份，存于互联网档案馆） (PDF) (Ph.D. thesis). A. Vol. 1252. Université de Paris. Here: p.96-97
J.A. Robinson. Computational logic: The unification computation. Machine Intelligence. 1971, 6: 63–72 [2024-01-28]. （原始内容存档于2024-01-28）. J.A. Robinson (1971). "Computational logic: The unification computation" （页面存档备份，存于互联网档案馆）. Machine Intelligence. 6: 63–72.