高阶逻辑 (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "高阶逻辑" in Chinese language version.

refsWebsite
Global rank Chinese rank
1st place
1st place
1,670th place
3,212th place
26th place
113th place
2nd place
23rd place
120th place
337th place
149th place
292nd place
4,903rd place
7,274th place
179th place
275th place

doi.org

helsinki.fi

math.helsinki.fi

inria.fr

pauillac.inria.fr

  • Huet, Gérard. Higher Order Unification 30 years later (PDF). Carreño, V.; Muñoz, C.; Tahar, S. (编). Proceedings, 15th International Conference TPHOL. LNCS 2410. Springer. 2002: 3–12 [2023-10-04]. (原始内容存档 (PDF)于2016-03-04). 

jstor.org

researchgate.net

sciencedirect.com

stanford.edu

plato.stanford.edu

web.archive.org