Journal of Hebei University (Natural Science Edition) ›› 2008, Vol. 28 ›› Issue (1): 18-21.DOI: 10.3969/j.issn.1000-1565.2008.01.007
Previous Articles Next Articles
MENG Ling-jiang
Online:
Published:
CLC Number:
O142
MENG Ling-jiang. Character and Operation Rule of the Classifier in First Logic Reasoning System F[J]. Journal of Hebei University (Natural Science Edition), 2008, 28(1): 18-21.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: //xbzrb.hbu.edu.cn/EN/10.3969/j.issn.1000-1565.2008.01.007
//xbzrb.hbu.edu.cn/EN/Y2008/V28/I1/18
