Journal of Hebei University(Natural Science Edition) >

2008 , Vol. 28 >Issue 1: 18 - 21

DOI: https://doi.org/10.3969/j.issn.1000-1565.2008.01.007

Character and Operation Rule of the Classifier in First Logic Reasoning System F

  • MENG Ling-jiang
Expand

Online published: 2008-01-25

Fold

Cite this article

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 . DOI: 10.3969/j.issn.1000-1565.2008.01.007

Options
Outlines

/

〈 〉